PASCAL - Jensen, Kathleen,Wirth, Niklaus (Springer, 1978)