Glynn Winskel A Note on Model Checking the Modal nu-Calculus. 157-167 1991 83 Theor. Comput. Sci. 1 db/journals/tcs/tcs83.html#Winskel91