Claudia Pons Gabriel Baum Miguel Felder Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. 1-18 1998 FMLDO db/conf/fmldo/fmldo98.html#Pons98