Heinz-Dieter Ebbinghaus Domino Threads and Complexity. 131-142 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#Ebbinghaus87