Colin Stirling David Walker Local Model Checking in the Modal mu-Calculus. 161-177 1991 89 Theor. Comput. Sci. 1 db/journals/tcs/tcs89.html#StirlingW91