Bisimulations, model descriptions and propositional quantifiers by A. Visser