MoL-2012-06: Blok, Alwin (2012) Interaction, observation and denotation: A study of dialgebras for program semantics. [Report]