Source: wikibot/david-gries

= David Gries
{wiki=David_Gries}