Robert Cori Martin Wirsing STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings STACS Lecture Notes in Computer Science 294 Springer 1988 db/conf/stacs/stacs88.html 3-540-18834-7