James M. Butler A. Yavuz Oruç PSB Graphs for Simulating Cooperative and Distributed Program Behavior. 89-95 1990 ACM Conference on Computer Science http://doi.acm.org/10.1145/100348.100362 db/conf/acm/csc90.html#ButlerO90