"A Multi-Formalism Programming Environment."

Jean-Marie Hullot (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics