A semantic approach to program modularity

Reference:

R.J.R. Back and Heikki Mannila. A semantic approach to program modularity. Information and Control, 60(1-3):138–167, March 1984.

Suggested BibTeX entry:

@article{bm4,
    author = {R.J.R. Back and Heikki Mannila},
    journal = {Information and Control},
    month = {March},
    number = {1-3},
    pages = {138-167},
    title = {A semantic approach to program modularity},
    volume = {60},
    year = {1984},
}