Algebraic methods in semantics - Nivat Maurice Ed.; Reynolds John C Ed. (Cambridge CUP, 1985)
Bibliography 634p
Keywords: Computer program language; Computer science