New Foundations For Fixpoint Computations (1990)

by R L Crole, A M Pitts
Venue:in “Proceedings, 5th Annual Symposium 45 Logic In Computer Science”, IEEE Computer