Algebraic theory of processes /
Hennessy, Matthew.
Cambridge, Mass. : MIT Press,
c1988.
Includes index.
Bibliography: p.
Electronic data processing
Programming languages (Electronic computers)
Algebra, Abstract.