A denotational semantics of CLU (1978)

by Scheifler