BAKKER JACO DE MATHEMATICAL THEORY OF PROGRAMME CORRECTNESS - LONDON Prentice Hall 1980 - 24X17 Dewey Class. No.: 621.3819642 B168