"The Denotional Semantics of Nondeterministic Recursive Programs using ..."

David A. Plaisted (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics