IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B., & Neuhold, E. J. (1978). Formal description of programming concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977. North-Holland Pub. Co..
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B., و Erich J. Neuhold. Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977. Amsterdam ; New York: North-Holland Pub. Co., 1978.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B., و Erich J. Neuhold. Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977. North-Holland Pub. Co., 1978.