"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.
374 ;;Quote: related declarations should be grouped together and given a name; environment is a set of these groups
ThesaHelp: references t-z (309 items)
Topic: notation for declarations (20 items)