Murali Vemulapati, D. Sriram, Amar Gupta., "February 1994." "To appear in Journal of object-oriented programming.", Includes bibliographical references (p. 18)., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.