"The D-Calculus: A System to Describe the Semantics of Programs Involving ..."

Peter Raulefs (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics