Book

Industrial-strength formal methods in practice

by Michael G. Hinchey, J. P. Bowen