1. P. America, “Designing an object-oriented programming language with behavioural subtyping,” Lecture Notes in Computer Science, Vol. 489, pp. 60–90, Springer-Verlag, 1991.
2. R. Allen and D. Garlan, “Formalizing architectural connection,” in Proc. of the 16th Intl. Conf. on Software Engineering, IEEE Computer Society Press, pp. 71–80, May 1994. Also as http://www.cs.cmu.edu/afs/cs.cmu.edu/project/compose/www/paper_abstracts/wright-icse16.html .
3. tech. report;F. Bronsard,1995
4. J.P. Bowen and M.G. Hinchey, “Ten commandments of formal methods,” IEEE Computer, 28(4):56–63, April 1995. Also as http://www.cl.cam.ac.uk/users/mghl001/10comms.html .
5. F. Bronsard and U.S. Reddy, “Reduction techniques for first-order reasoning,” Conditional Term Rewriting Systems, Lecture Notes in Computer Science, Vol. 656, pp. 242–56, Springer-Verlag, 1992.