"The Use of Metasystem Transition in Theorem Proving and Program Optimization."

Valentin F. Turchin (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics