Stephen Bear Phillip Allen Derek Coleman Fiona Hayes Graphical Specification of Object-Oriented Systems. 28-37 1990 OOPSLA/ECOOP db/conf/oopsla/oopsla90.html#BearACH90