Kinh Nguyen Tharam S. Dillon A Practical Formally-Based Modelling Method for Object Oriented Information Systems. 69-80 1997 OOIS db/conf/oois/oois97.html#NguyenD97