Model Checking Algorithms for the µ-Calculus | part of Proof, Language, and Interaction: Essays in Honour of Robin Milner | MIT Press books | IEEE Xplore