"The Topos of Labelled Trees: A Categorical Semantics for SCCS."

Stefano Kasangian, Sebastiano Vigna (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics