STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science - Brandenburg, F. J.; Vidal-Naquet, G.; Wirsing, Martin, 1948- (Lecture notes in computer science, 1987)