Abrial, Jean-Raymond. The B-Book: Assigning Programs to Meanings . Cambridge, UK: Cambridge University Press, 1996.