Clauses: Scope Structures and Defined Functions in Lucid.

Edward A. Ashcroft, William W. Wadge

Browse the full POPL paper archive.