Derivation of efficient dag marking algorithms

Reference:

R.J.R. Back, Heikki Mannila, and Kari-Jouko Räihä. Derivation of efficient dag marking algorithms. In Proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 20–27, 1983.

Suggested BibTeX entry:

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