"An abstract standardisation theorem"

Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics