00453pamaa2200157 4500 0000039322 20140922090000.0 00521496195 / 0521021758 005.11 1996 QA76.9 ABR 1996 Abrial The B-Book : assigning programs to meanings J.R. Abrial. New York: Cambridge University Press, 1996. xxxiv, 779p.: 26cm. BSECU (Computer program language)