Design and Correctness of a Compiler for a Non-Procedural Language.

Christoph M. Hoffmann Design and Correctness of a Compiler for a Non-Procedural Language. 217-241 1978 9 Acta Inf. db/journals/acta/acta9.html#Hoffmann78