@inproceedings{
    bmr,
    author = {Back, R.J.R. and Mannila, Heikki and R{\"a}ih{\"a}, Kari-Jouko},
    booktitle = "Proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages",
    year = "1983",
    pages = "20-27",
    title = "Derivation of efficient dag marking algorithms"
}