Applications of formal methods /
Hinchey, Michael G.(Michael Gerard),1969-
Bowen, J. P.(Jonathan Peter),1956-
London :  Prentice Hall,
1995.