Denotational and initial algebra semantics of the algebraic specification language LOOK (1982)

by J W THATCHER, P LUCAS, S N ZILLES