Kozen, D. (1982). Logics of programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag.
Chicago Style (17th ed.) CitationKozen, Dexter. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Berlin: Springer-Verlag, 1982.
MLA (8th ed.) CitationKozen, Dexter. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981. Springer-Verlag, 1982.
Warning: These citations may not always be 100% accurate.