John A. Keane Walter Hussak A Formal Approach to Determining Parallel Resource Bindings: Experience Report. 15-22 1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257738 db/conf/icse/icse94.html#KeaneH94