Relational data base design using refinement rules C. Batini, A. d'Atri (1983) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Relational structures and dependence spaces Vítězslav Novák, Miroslav Novotný (1997) Czechoslovak Mathematical Journal
Retrieving library functions by unifying types modulo linear isomorphism M. Rittri (1993) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications