Arianna Tocchio Stefania Costantini Alessia Verticchio A Game-Theoretic Operational Semantics. 13-21 2004 conf/woa/2004 WOA db/conf/woa/woa2004.html#TocchioCV04