Vincenzo Russi Roberto Zompi Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development. 225-234 1990 conf/disco/1990 DISCO db/conf/disco/disco1990.html#RussiZ90 http://dx.doi.org/10.1007/3-540-52531-9_143