Martin D. Fraser Kuldeep Kumar Vijay K. Vaishnavi Strategies for Incorporating Formal Specifications in Software Development. 74-86 1994 37 Commun. ACM 10 db/journals/cacm/cacm37.html#FraserKV94 http://doi.acm.org/10.1145/194313.194399