A proposal for definitions in ALGOL | Synapse