David P. Helmbold Charles E. McDowell Computing Reachable States of Parallel Programs. 76-84 1991 Workshop on Parallel and Distributed Debugging db/conf/pdd/pdd91.html#HelmboldM91