Bonnie Gold: Relatively Diophantine correct models of arithmetic. Notre Dame J. Formal Log. 28(2): 291-296 (1987)