Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory. Lawrence Neff Stout (1979) Manuscripta mathematica
Least and largest initial completions. I. Jiří Adámek, Horst Herrlich, George E. Strecker (1979) Commentationes Mathematicae Universitatis Carolinae
Least and largest initial completions. II. Jiří Adámek, Horst Herrlich, George E. Strecker (1979) Commentationes Mathematicae Universitatis Carolinae