Handbook of logic in computer science v 4 : semantic modelling - Abramsky S; Gabbay D M; Maibaum T S E eds (Oxford Clarendon Press, 1992)
Keywords: Programming language; Semantics