Simmons, H. (1973) “An Omitting Types Theorem with an Application to the Construction of Generic Structures”., Mathematica Scandinavica, 33, pp. 46–54. doi:10.7146/math.scand.a-11470.