Winskel, G. (1990) “A Note on Model Cheking the Modal v-calculus”, DAIMI Report Series, 18(279). doi: 10.7146/dpb.v18i279.6656.