Robert Veroff

Automated reasoning and its applications

1997

Data abstraction and problem solving with C++

1995

Data structures and problem solving with Turbo Pascal

1993

I/G Walls & Mirrors

1988