The B-Book : Assignig programs to meanings - Abrial, J.-R (Cambridge University Press, 1996)