Lin Zucconi Greg Royle Karl Reed John Staples Do Formal Methods Really Work? 66- 1996 conf/aswec/1996 Australian Software Engineering Conference http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350066abs.htm db/conf/aswec/aswec1996.html#ZucconiRRS96