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％准确.