PASCAL User Manual and Report (Springer Study Edition)