John A. McDermid Andy Galloway Simon Burton John A. Clark Ian Toyn Nigel Tracey Samuel H. Valentine Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. 76- 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980076abs.htm db/conf/icfem/icfem1998.html#McDermidGBCTTV98