Yeh, Raymond Tzuu-Yau, 1937- Current trends in programming methodology, volume II : program validation [Books]. edited by Raymond T. Yeh. - Englewood Cliffs, New Jersey Prentice-Hall 1977 - Pages: 322 ISBN: 0131957198 0.00 Subjects--Personal Names: Programming (Electronic computers) Dewey Class. No.: QA/76.6 / CUR