"A Theory of Presentations."

David J. Duke, Michael D. Harrison (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics