Winskel G. A Note on Model Cheking the Modal v-calculus. DPB [Internet]. 1990 Jun. 1 [cited 2024 May 6];18(279). Available from: https://tidsskrift.dk/daimipb/article/view/6656