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.