,
CSLI Publishers, Stanford
CSLI Lecture Notes
Three Days of Bisimulation

de Rijke, M. (1995). A Lindström theorem for modal logic. Modal Logic and Process Algebra : A Bisimulation Perspective, 217–230.