Pagan, F. G. (1981). Formal specification of programming languages: A panoramic primer. Prentice-Hall.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Pagan, Frank G. Formal Specification of Programming Languages: A Panoramic Primer. Englewood Cliffs, N. J: Prentice-Hall, 1981.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Pagan, Frank G. Formal Specification of Programming Languages: A Panoramic Primer. Prentice-Hall, 1981.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.