A zero-one law for logic with a fixed-point operatorAndreas BlassYuri Gurevichet al.1985Information and Control
