Manfred Schmidt-Schauß Joachim Niehren Jan Schwinghammer David Sabel Adequacy of Compositional Translations for Observational Semantics. 521-535 2008 IFIP TCS http://dx.doi.org/10.1007/978-0-387-09680-3_35 conf/ifipTCS/2008 db/conf/ifipTCS/ifipTCS2008.html#Schmidt-SchaussNSS08