The B−Method - Abrial, J; Lee, M; Neilson, D; Scharbach, P; Sørensen, I (Springer−Verlag, 1991)