1. Backhouse R, DeBruin P, Malcolm G, Voermans E, Van der Woude J (1990) A relational theory of data types. In: Proceedings of the workshop on constructive algorithms: the role of relations in program development, Hollum Ameland, Holland
2. Berghammer R, Schmidt G, Zierer H (1986) Symmetric quotients. Technical Report TUM-I8620, Technische Universität München, Munich
3. Berghammer R, Schmidt G, Zierer H (1989) Symmetric quotients and domain constructions. Inf Process Lett 33:163?168
4. Berghammer R, Schmidt G (1993) Relational specifications. In: Rauszer C (ed) Proccedings of the XXXVIII Banach Center semester on algebraic methods in logic and their computer science applications. Banach, vol 28, Warsaw, Poland, pp 167?190
5. Birkhoff G (1967) Lattice theory. American Mathematical Society, Providence