Relational semantics for processes - Winter, Michael; Kempf, Peter (Univ. der Bundeswehr München, Fakultät für Informatik, 1998)