APA stil citiranja

(1984). Logics of programs: Logics of programs : WORKSHOP, CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, JUNE 6-8, 1983 (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

Logics of programs: Logics of programs : WORKSHOP, CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, JUNE 6-8, 1983. 1. izd. Berlin: Springer Verlag, 1984.

MLA stil citiranja

Logics of programs: Logics of programs : WORKSHOP, CARNEGIE MELLON UNIVERSITY PITTSBURGH, PA, JUNE 6-8, 1983. 1. izd. Berlin: Springer Verlag, 1984.