Pascal user manual and report - Jensen, Kathleen 1949- (Springer study edition, 1978)