Pascal user manual and report : revised for the iso pascal standard - Jensen, Kathleen 1949- (Springer-Verlag, 1985)