$title -- $projectname -- Peter Gottschling and Andrew Lumsdaine -- Gen. with