Restall, Greg. " Fixed-Point Models for Theories of Properties and Classes" The Australasian Journal of Logic [Online], Volume 14 Number 1 (11 April 2017)