Henkinand L'Abbe. Structures Algebriques Suggerees Par La Logique Mathematique. Cambridge University Press (CUP), 1971, doi:10.2307/2270298.