G. Winskel, “A Note on Model Cheking the Modal v-calculus”, DPB, vol. 18, no. 279, Jun. 1990.