4 works on record
Data abstraction and problem solving with C++
1995
Data structures and problem solving with Turbo Pascal
1993
Automated reasoning and its applications
I/G Walls & Mirrors