@inproceedings{
    bm3,
    author = "Back, R.J.R. and Mannila, Heikki",
    booktitle = "Third Conference on Foundations of Software Technology and Theoretical Computer Science",
    year = "1983",
    pages = "40-65",
    title = "On the suitability of trace semantics for modular proofs of communicating processes"
}