Citazione Stile APA (7a Edizione)

Barringer, H. (1985). A survey of verification techniques for parallel programs. Springer-Verlag.

Citazione stile Chigago Style (17a edizione)

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Berlin ; New York: Springer-Verlag, 1985.

Citatione MLA (8a ed.)

Barringer, Howard. A Survey of Verification Techniques for Parallel Programs. Springer-Verlag, 1985.