The B-Book (1996)

by J Abrial