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

by J-R Abrial