@article{
    bmtcs,
    author = "Back, R.J.R. and Mannila, Heikki",
    volume = "39",
    journal = "Theoretical Computer Science",
    year = "1985",
    pages = "47-68",
    title = "On the suitability of trace semantics for modular proofs of communicating processes (full version)"
}