The B-Book. C.U.P (1996)

by J R Abrial