David & Paul Gries at their workshop