Christoph M. Hoffmann Semantic Properties of Lucid's Compute Clause and its Compilation. 9-20 1980 13 Acta Inf. db/journals/acta/acta13.html#Hoffmann80