The B-Book : assigning programs to meanings - Abrial (Cambridge University Press, 1996)