1. J. F. A. K. vanBenthem,A problem on expansions and its connection with modal logic, unpublished paper, Instituut voor Grondslagenonderzoek, University of Amsterdam, 1975.
2. J. F. A. K. vanBenthem,Modal logic as second-order logic, report 77-04, Mathematisch Instituut, University of Amsterdam, 1977. (To appear in “Reports on Mathematical Logic”.)
3. C. C. Chang &H. J. Keisler,Model Theory, North-Holland, Amsterdam, 1973.
4. W. Craig,Replacement of auxiliary expressions,Philosophical Review, vol. 65 (1956), pp. 38–55.
5. W. Craig &R. L. Vaught,Finite axiomatizability using additional predicates,The Journal of Symbolic Logic vol. 23 (1958), pp. 289–308.