"From SOS Rules to Proof Principles: An Operational Metatheory for ..."

David Sands (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics