Robert VeroffBooksData structures and problem solving with Turbo PascalData abstraction and problem solving with C++Automated reasoning and its applicationsAutomated Reasoning and Its ApplicationsI/G Walls & MirrorsAuthor data: Open Library