Powerdomains, Powerstructures and Fairness. - Yiannis N. Moschovakis; Glen T. Whitney (CSL, 1994)

The Logic of Recursive Equations. - Antonius J. C. Hurkens; Monica McArthur; Yiannis N. Moschovakis; Lawrence S. Moss; Glen T. Whitney (J. Symb. Log., 1998)

A Complete Logical System for the Equality of Recursive Terms for Sets. - Lawrence S. Moss; Erik Wennstrom; Glen T. Whitney (Logic and Program Semantics, 2012)