1. Bates, P. 1987. Shuffle Automata: A Formal Model for Behavior Recognition in Distributed Systems. Technical Report COINS Technical Report 87-27, Computer and Information Science Department, University of Massachusetts at Amherst.
2. Bates, P. C. 1988. Debugging heterogeneous distributed systems using event-based models of behavior. InProceedings of ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, pp. 11?22. Madison, Wisconsin.
3. Bruegge, B., and Hibbard, P. 1983. Generalized path expressions: A high level debugging mechanism. InProceedings of the ACM SIGSOFT Software Engineering Symposium on High Level Debugging, pp. 34?44. Pacific Grove California.
4. Cohen, D. 1986. Automatic compilation of logical specifications into efficient programs. InProceedings of the 5th National Conference on Artificial Intelligence, pp. 20?25. Philadelphia, PA: AAAI.
5. Cohen, D. 1988.AP5 user's manual. ISI/USC.