Pascal/3000 : reference manual ; HP 3000 computer system (Hewlett Packard, 1981)