Edward A. Ashcroft William W. Wadge Clauses: Scope Structures and Defined Functions in Lucid. 17-22 1978 POPL db/conf/popl/popl78.html#AshcroftW78