Handbook of logic in computer science v 2 : Computational structures - Abramsky S; Gabbay D M; Maibaum T S E eds (Oxford Clarendon Press, 1992)
Keywords: Computational structure; Computer science