Winskel, Glynn. “A Note on Model Cheking the Modal V-Calculus”. DAIMI Report Series 18, no. 279 (June 1, 1990). Accessed May 6, 2024. https://tidsskrift.dk/daimipb/article/view/6656.