concepts, syntax, semantics and correctness notions of ACT TWO: An algebraic module specification and interconnection language (1988)

by Pragmatics