APA (7th ed.) Citation

(1984). Logics of programs: Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6 - 8, 1983. Springer.

Chicago Style (17th ed.) Citation

Logics of Programs: Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6 - 8, 1983. Berlin u.a: Springer, 1984.

MLA (9th ed.) Citation

Logics of Programs: Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6 - 8, 1983. Springer, 1984.