Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, vii
Valentina S. Harizanov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 3