The theory of interacting deductions and its application to operational semantics - Wilson, Andrew (University of Edinburgh, Dept. of Computer Science, 1996)
"[A]lso published as ECS-LFCS-96-351"
Includes bibliographical references
Keywords: Programming languages (Electronic computers) / Semantics; Programming languages (Electronic computers) -- Semantics; Hochschulschrift