Shigetomo Kimura Atsushi Togashi Norio Shiratori Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus. 97-104 1996 58 Inf. Process. Lett. 2 db/journals/ipl/ipl58.html#KimuraTS96 http://dx.doi.org/10.1016/0020-0190(96)00038-5