Abrial, J.R B book: Assigning programs to meanings - New York Cambridge University Press 1996 - 779 ISBN: 521021758 Subjects--Topical Terms: B METHODCOMPUTER PROGRAMMING Dewey Class. No.: 005.1 ABR/B �