Pascal compiler validation / edited by Brian A. Wichmann and Z.J. Ciechanowicz. - Chichester : Wiley , 1983. - xiii,176 p. : ill. ; 24 cm.

Includes index and bibliography : p 139-144. Includes index.

0471901334


Pascal (Computer program language).
Compiling (Electronic computers).
Computer programs--Validation.