"A Theory of Persistent Containers and Its Application to Ada."

Mário Amado Alves (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics