A note on a proof of Sherpherdson. T.B. Flannagan — 1983 Archiv für mathematische Logik und Grundlagenforschung
Expansions of models of ZFC. T.B. Flannagan — 1980 Archiv für mathematische Logik und Grundlagenforschung