"Correctness Proofs for Meta IV Written Code Generator Specification using ..."

Bettina Buth, Karl-Heinz Buth (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics