Sannella, D. "A Set-Theoretic Semantics for CLEAR" Acta Informatica, 21:443-472, 1984

Languages mentioned

• CLEAR {1976}