Set theory and heirarchy thoery V - Lachlan, A. (Springer-Verlag Berlin, 1977)