ThesaHelp: references t-z
Topic: notation for declarations
Reference
Towster, E.,
"A convention for explicit declaration of environments and top-down refinement of data",
IEEE Transactions on Software Engineering, SE-5, 4, pp. 374-386, July 1979.
Google
Quotations
374 ;;Quote: related declarations should be grouped together and given a name; environment is a set of these groups