DAHL,O.J VERIFIABLE PROGRAMMING - NEW YORK Prentice Hall 1992 - 23X18, 269 ISBN: 0139510621 Dewey Class. No.: 621.38196424 D131