1. Π11-complete families of elementary sequences;Dehornoy;Ann. Pure Appl. Logic,1988
2. Critical points in an algebra of elementary embeddings;Dougherty;Ann. Pure Appl. Logic,1993
3. Critical points in an algebra of elementary embeddings II;Dougherty,1996
4. R. Dougherty, T. Jech, Finite left-distributive algebras and embedding algebras, Advances in Mathematics.
5. Elementary embeddings of models of set theory and certain subtheories, Axiomatic Set Theory;Gaifman,1974