00482pamaa2200157 4500 0000031018 20091002090000.0 1860940188 005.133 LAN QA76.73.B155 LAN 1996 LANO Specification in B : an introduction using the B toolkit Kevin Lano and Howard Haughton. London: Imperial College Press, 1996. xi, 242p.; 24cm. B (Computer program language) Haughton, Howard