Georg Winterstein Manfred Dausmann Guido Persch A Method for Describing Concurrent Problems Based on Logic. 457 1980 conf/gi/1980 GI Jahrestagung db/conf/gi/gi80.html#WintersteinDP80