"Types for Hierarchic Shapes."

Sophia Drossopoulou, David G. Clarke, James Noble (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics