Struth, Georg Programming Logics, MPI for Informatics, Max Planck Society;
Struth, G. (1999). Canonical Transformation in Algebra, Universal Algebra and Logic. PhD Thesis, Universität des Saarlandes, Saarbrücken.