Robert B. France Jean-Michel Bruel Maria M. Larrondo-Petrie Emanuel S. Grant Minika Saksena Towards a Rigorous Object-Oriented Analysis and Design Method. 7-16 1997 ICFEM db/conf/icfem/icfem1997.html#FranceBLGS97