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