Mauro Pezzè Richard N. Taylor Michal Young Graph Models for Reachability of Concurrent Programs. 171-213 1995 4 ACM Trans. Softw. Eng. Methodol. 2 db/journals/tosem/tosem4.html#PezzeTY95 http://doi.acm.org/10.1145/210134.210180