Fixed points without completeness
A. W. Roscoe‚ M.W. Mislove and S.A. Schneider
Chapter
2
Journal
Theoretical Computer Science
Pages
273–314
Volume
138
Year
1993
A. W. Roscoe‚ M.W. Mislove and S.A. Schneider