Simmons, H. “An Omitting Types Theorem With an Application to the Construction of Generic Structures”. MATHEMATICA SCANDINAVICA, vol. 33, Dec. 1973, pp. 46-54, doi:10.7146/math.scand.a-11470.