Derivation of Efficient DAG Marking Algorithms.

Ralph-Johan Back Heikki Mannila Kari-Jouko Räihä Derivation of Efficient DAG Marking Algorithms. 20-27 1983 POPL db/conf/popl/popl83.html#BackMR83