Temporal Logic with Fixed Points. - Behnam Banieqbal; Howard Barringer (Temporal Logic in Specification, 1987)