Temporal Predicat Transformers and Fair Termination.

Joseph M. Morris Temporal Predicat Transformers and Fair Termination. 287-313 1989 27 Acta Inf. 4 db/journals/acta/acta27.html#Morris89a