David Gries

ProgramLive

2001

ProgramLive CD

2001

Beauty Is Our Business

1990

The Science of Programming (Monographs in Computer Science)

1989

Programming Methodology

1978

Compiler construction for digital computers

1971