Symposium on Theoretical Aspects of Computer Science (2nd 1985 Saarbrücken, Germany)