Erwin Engeler Modelling of Cooperative Processes. 143-153 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#Engeler87