Manfred Broy: Interaction and Realizability. SOFSEM (1) 2007: 29-50