"Some Results Concerning Proofs of Statements about Programs."

Richard J. Orgass (1970)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics