Steven P. Mille The Industrial Use of Formal Methods: Was Darwin Right? 74- 1998 conf/wift/1998 WIFT http://csdl.computer.org/comp/proceedings/wift/1998/0081/00/00810074abs.htm db/conf/wift/wift1998.html#Mille98