Title: PASCAL user manual and report
First published: 1976