Thèse de doctorat Malek Boualem 1993 Thèse de doctorat en informatique Malek Boualem INRIA et université de Nice Sophia Antipolis 25 novembre 1993 http://opac.inria.fr/search~S12*frf?/cbo2036/cbo++++2036/-3%2C-1%2C0%2CE/frameset&FF=cboualem+m&1%2C1%2C