Teaching and learning formal methods - Dean, C. Neville; Hinchey, Michael G. (Academic Press, 1996)