Claudia Pons Gabriel Baum Formal Foundations of Object-Oriented Modeling Notations. 101-110 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220101abs.htm db/conf/icfem/icfem2000.html#PonsB00