Anthony Hall What Does Industry Need From Formal Specification Techniques? 2- 1998 conf/wift/1998 WIFT https://doi.org/10.1109/WIFT.1998.766285 https://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766285 db/conf/wift/wift1998.html#Hall98