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

de Rijke, M. (1995). A Lindström theorem for modal logic. In Modal logic and process algebra : a bisimulation perspective (pp. 217–230). CSLI Publishers, Stanford.