Pascal: user manual and report - JensenL, Kathleen (Springer-Verlag, 1978)