The B-Book: Assigning Programs to Meanings Publication Type: Book Authors: Jean-Raymond Abrial Source: Cambridge University Press, Cambridge, UK (1996)
