Amel Mammar Régine Laleau Implémentation JAVA d'une spAcification B. Application aux bases de données. 537-570 2008 27 Technique et Science Informatiques 5 http://tsi.revuesonline.com/article.jsp?articleId=11830 db/journals/tsi/tsi27.html#MammarL08