ALGOL version 4 reference manual (Control Data Corporation, 1978)