The B-Book: Assigning Programs to Meanings (1996)

by J-R Abrial