STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 Brandenburg Franz J. Heftet / 1987 / Engelsk