A convention for explicit declaration of environments and top-down refinement of data (1979)

by E Towster
Venue:IEEE Transactions on Software Engineering SE–5