"Update-Programs Can Update Programs."

José Júlio Alferes, Luís Moniz Pereira (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics