Applications of formal methods - Hinchey, Michael G. (Michael Gerard) 1969-; Bowen, J. P. (Jonathan Peter) 1956- (Prentice-Hall international series in computer science, 1995)