Pagan, Frank G Formal specification of programming languages : a panoramic primer / Frank G. Pagan - Englewood Cliffs, N.J. : Prentice-Hall, 1981 - 245p. : ill. ; 24 cm. Includes index Bibliography: p.235-239 ISBN: 0133290522 LCCN: 80-23516 Subjects--Topical Terms: Programming languages--SyntaxProgramming lanugages--Semantics