1. An introduction to recursively saturated and resplendent models;Barwise,1975
2. Model Theory;Chang,1973
3. Recursively presentable prime models;Harrington;J. Symbolic Logic,1974
4. Recursion theory and algebra;Metakides;Algebra and Logic, Springer Verlag Lectures Notes,1975
5. T.S. Miller, A complete decidable theory with two recursively presented models, to appear.