author : David Gries

Books

• The Science of Programming. 1981

Short works

• Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic (abstract). 1995. (In ZUM '95 )
• Substitution of equals for equals. 2000. (In Millennial Perspectives in Computer Science )