PASCAL : user manual and report - Jensen, Kathleen (Springer, 1978)