The Gödel programming language / - Hill, Patricia (MIT Press, 1994)