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