(1985). Formal models in programming: Proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.
Chicago-referens (17:e uppl.)Formal Models in Programming: Proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / Edited by E.J. Neuhold and G. Chroust. 1985.
MLA-referens (9:e uppl.)Formal Models in Programming: Proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / Edited by E.J. Neuhold and G. Chroust. 1985.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.