"Approaches to Specification-Based Testing", by D. Richardson, O. O'Malley and C. Tittle in Proceedings of ACM SIGSOFT Symposium on Software Testing, Analysis and Verification
"Specification-based Test Oracles for Reactive Systems", by D. Richardson, S. Aha and O. O'Malley in Proceedings of the Fourteenth International Conference on Software Engineering
"Developing and Integrating ProDAG in the Arcadia Environment", by D. Richardson, O. O'Malley, C. Moore and S. Aha in Proceedings of ACM SIGSOFT Fifth Symposium on Software Development Environments