Bisimulations, model descriptions and propositional quantifiers door A. Visser