PASCAL, user manual and report by Kathleen Jensen, Niklaus Wirth, K. Jensen, Andrew B. Mickel, James F. Miner