Citação norma APA
Neuhold, E. J., & Chroust, G. (1985). Formal models in programming: Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 (1.vyd.). North-Holland.
Citação norma Chicago
Neuhold, Erich J., and G. Chroust. Formal Models in Programming: Proceedings of the IFIP TC2 Working Conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985. 1.vyd. Amsterdam: North-Holland, 1985.
Citação norma MLA
Neuhold, Erich J., and G. Chroust. Formal Models in Programming: Proceedings of the IFIP TC2 Working Conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985. 1.vyd. North-Holland, 1985.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.