"Towards a framework for analysis, transformation, and manipulation of ..."

Douglas Martin (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics