On notation (1986)

by A J M van Gasteren, E W Dijkstra