"Sigma2-Constructions and I Sigma1."

Marcia J. Groszek, Tamara Lakins Hummel (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics