A formal definition of CLU (1978)

by Justin Craig Schaffert
Venue:Master's thesis, MIT