Models and sets. Part 1 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 - Baeten, Jos (Lecture notes in mathematics ;, 1984)