ALGEBRAIC THEORY OF PROCESSES - Hannesay, Matthew (Cambridge Mit Press, 1988)
Keywords: Electronic Data Processing -- Matthematics; Programming Languages (Electronic Computers) -- Semantics; Algebra, Abstract