"Categories of Containers."

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics