A semantic approach to program modularity (1984)

by R J R Back, H Mannila
Venue:Information and Control