1. Abramsky, S. “Observation Equivalence as a Testing Equivalence.” Theoretical Computer Science, v. 53, 1987, pp. 225–241.
2. Cleaveland, R., J. Parrow and B.U. Steffen. “A Semantics-Based Tool for the Verification of Finite-State Systems.” In Proceedings of the Ninth IFIP Symposium on Protocol Specification, Testing and Verification, June 1989. To be published by North-Holland.
3. Lecture Notes in Computer Science;R. Cleaveland,1989
4. Cleaveland, R. and B. Steffen. “When is ‘Partial’ Adequate? A Logic-Based Proof Technique for Partial Specifications.” In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pp. 108–117. Computer Society Press, Los Alamitos, 1990.
5. Graf, S. and B. Steffen. “Using Interface Specifications for Compositional Reduction.” To appear in Proceedings of the Workshop on Computer-Aided Verification.