Neuhold, E. J., & Chroust, G. (1985). Formal models in programming: Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 ([1st ed.].). North-Holland Publishing.
Citácia podle Chicago (17th ed.)Neuhold, Erich J., a Gerhard Chroust. Formal Models in Programming: Proceedings of the IFIP TC2 Working Conf. on the Role of Abstracts Models in Information Pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985. [1st ed.]. Amsterdam: North-Holland Publishing, 1985.
Citácia podľa MLA (8th ed.)Neuhold, Erich J., a Gerhard Chroust. Formal Models in Programming: Proceedings of the IFIP TC2 Working Conf. on the Role of Abstracts Models in Information Pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985. [1st ed.]. North-Holland Publishing, 1985.