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