Semantics of a declarative language
Tyugu, E.
Turing Institute (Glasgow, Scotland)
Glasgow Turing Institute
c1985
UTOPIST (Computer program language)