Jonathan P. Bowen Ricky W. Butler David L. Dill Robert L. Glass David Gries Anthony Hall Michael G. Hinchey C. Michael Holloway Daniel Jackson Cliff B. Jones Michael J. Lutz David Lorge Parnas John M. Rushby Jeannette M. Wing Pamela Zave An Invitation to Formal Methods. 16-30 1996 29 IEEE Computer 4 db/journals/computer/computer29.html#BowenBDGGHHHJJLPRWZ96 http://doi.ieeecomputersociety.org/10.1109/MC.1996.488298