"Formalism and Method."

Egidio Astesiano, Gianna Reggio (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics