The B-Book door J-.R. Abrial & Jean-Raymond Abrial