Kathleen Jensen  Niklaus Wirth  Pascal User Manual  and Report  ISO Pascal Standard  Fourth Edition, Revised by  Andrew B. Mickel  James  F.  Miner  With 76 Figures  Springer-Verlag  New York Berlin Heidelberg London Paris  Tokyo Hong Kong Barcelona Budapest 