Rudiments of µ-calculus, volume 146 (2001)

by André Arnold, Damian Niwiński
Venue:of Studies in Logic and the Foundations of Mathematics