Baumeister, Hubert Programming Logics, MPI for Informatics, Max Planck Society;
Baumeister, H. (1999). Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD Thesis, Universität des Saarlandes, Saarbrücken.