H. Simmons, “An Omitting Types Theorem with an Application to the Construction of Generic Structures”., Math. Scand., vol. 33, pp. 46–54, Dec. 1973.