Handbook of logic in computer science - Abramsky S Ed.; Gabbay D M Ed.; Maibaum T S E Ed. (Oxford Clarendon Press, 1992)
Keywords: Logic; Computer Science