Sergiu Dascalu Peter Hitchcock An approach to integrating semi-formal and formal notations in software specification. 1014-1020 2002 conf/sac/2002 SAC http://doi.acm.org/10.1145/508791.508988 db/conf/sac/sac2002.html#DascaluH02