Pagan, F. G. (1981). Formal specification of programming languages: A panoramic primer. Prentice-Hall.
Chicago-referens (17:e uppl.)Pagan, Frank G. Formal Specification of Programming Languages: A Panoramic Primer. Englewood Cliffs, N.J.: Prentice-Hall, 1981.
MLA-referens (8:e uppl.)Pagan, Frank G. Formal Specification of Programming Languages: A Panoramic Primer. Prentice-Hall, 1981.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.