Pascal user manual and report revised for the ISO Pascal Standard - Jensen, Kathleen 1949- (Springer, 1985)