APA (7th ed.) Citation

Logics of Programs Workshop Yorktown Heights, N.Y., SpringerLink (Online service), & Kozen, D. (1982). Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag.

Chicago Style (17th ed.) Citation

Logics of Programs Workshop Yorktown Heights, N.Y., SpringerLink (Online service), and Dexter Kozen. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Berlin ; New York: Springer-Verlag, 1982.

MLA (9th ed.) Citation

Logics of Programs Workshop Yorktown Heights, N.Y., et al. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag, 1982.