The B-book : assigning programs to meanings / - Abrial, Jean-Raymond. (Cambridge University Press, 1996)