"An Axiomatic Semantics for the Synchronous Language Gentzen."

Simone Tini (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics