@INBOOK{DoSc-LNCS-2009,
title={An Action Semantics Based on Two Combinators},
author={Kyung-Goo Doh and David A. Schmidt},
booktitle={Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday},
year={2009},
month={September},
volume={Lecture Notes in Computer Science 5700},
number={},
pages={274-296},
keywords={formal semantics, denotational semantics, action semantics, Mosses abstraction, unified algebra, partial evaluation},
doi={},
ISSN={} }