APA (7th ed.) Citation

Owicki, S., & Gries, D. (1975). Proving properties of parallel programs: An axiomatic approach.

Chicago Style (17th ed.) Citation

Owicki, Susan, and David Gries. Proving Properties of Parallel Programs: An Axiomatic Approach. Ithaca, New York, 1975.

MLA (9th ed.) Citation

Owicki, Susan, and David Gries. Proving Properties of Parallel Programs: An Axiomatic Approach. 1975.

Warning: These citations may not always be 100% accurate.