Publications about Lucid, a Programming Language Designed to Facilitate Correctness (C. M. Hoffmann)


Design and Correctness of a Compiler for a Nonprocedural Language
Acta Informatica 9, 1978, 217-241.
Semantic Properties of Lucid's Compute Clause and its Compilation
Acta Informatica 13, 1980, 9-20.