1. Predicate Path Expressions: A High-Level Synchronization Mechainsm;Andler,1979
2. The Spice Project;Ball;Computer Scinece Research Review,1982
3. edl: A Basis For Distributed System Debugging Tools;Bates,1982
4. KRAUT — A Symbolic Path Expression Debugger Technical Report TR-005-82;Bruegge,1982
5. User Manual for KRAUT — The Interim Spice Debugger;Bruegge,1983