Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language

Werner Fey. Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language. PhD thesis, Technical University of Berlin, Germany, 1988. [doi]

Abstract

Abstract is missing.