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