1. p-Algebras: Theory, Constructions, Applications. Ph. D. Thesis, University of Bern, 1988.
2. The structure of algebraically and existentially closed Stone and double Stone algebras
3. Quantifier elimination for Stone algebras
4. Die endlichen algebraisch abgeschlossenen pseudokomplementierten Halbverbände Master's Thesis, University of Bern, 1984.
5. Zur Modelltheorie der pseudokomplementierten Halbverbände. Ph. D. Thesis, University of Bern, 1989.