Oberon: procedure interfaces, parameter modes, and strict typing (1992) | Synapse