APA stil citiranja

Goldblatt, R. (1982). Axiomatising the logic of computer programming: Axiomatising the logic of computer programming (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

Goldblatt, Robert. Axiomatising the logic of computer programming: Axiomatising the logic of computer programming. 1. izd. Berlin: Springer Verlag, 1982.

MLA stil citiranja

Goldblatt, Robert. Axiomatising the logic of computer programming: Axiomatising the logic of computer programming. 1. izd. Berlin: Springer Verlag, 1982.