A Relational Model for the Specification of Data Types. - Noureddine Boudriga; Ali Mili 001; R. Zalila; Fatma Mili (Comput. Lang., 1992)