A Framework for Testing Object-Oriented Software Using Formal Specifications. - Rohan Fletcher; A. S. M. Sajeev (Ada-Europe, 1996)

Constructing Interoperable Components in Distributed Systems. - Sea Ling; Heinz W. Schmidt; Rohan Fletcher (TOOLS (32), 1999)