TY - BOOK AU - Abramsky S AU - Gabbay D M AU - Maibaum T S E eds TI - Handbook of logic in computer science: v 2 : Computational structures U1 - 005.131 PY - 1992/// CY - Oxford PB - Clarendon Press KW - Computational structure KW - Computer science ER -