APA (7th ed.) Citation

Barringer, H. (1985). A Survey of Verification Techniques for Parallel Programs. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

MLA (9th ed.) Citation

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Springer Berlin Heidelberg, 1985.