[1] BENNETT J. H.: On Spectra. Ph.D. dissertation, Princeton University 1962.

[2] GAIFMAN H., DIMITRACOPOLOUS C.: Fragments of Peano's arithmetic and the MRDP Theorem. in Logic and Algorithmic, Genève 1982, 187-206.