MoL-2012-06: Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics 1.Full Text, 2.Abstract. < Back