James W. Thatcher: Algebraic Semantics (Abstract). TAPSOFT, Vol.1 1987: 287