Algebraic methods in semantics
Nivat, Maurice,1937-
Reynolds, John C.
Cambridge Cambridge University Press
1985
Includes bibliographies
Programming languages (Electronic computers)
Programming languages (Electronic computers)