Automated reasoning and its applicationsLarry Wos, Robert Veroff, Gail W. Pieper · First published 1997Open the Tome
Data abstraction and problem solving with C++Frank M. Carrano, Paul Helman, Robert Veroff · First published 1995Open the Tome
Data structures and problem solving with Turbo PascalFrank M. Carrano, Paul Helman, Robert Veroff · First published 1992Open the Tome