Towards a formal specification of the ICL Data Dictionary

摘要: Presentation d'une specification formelle d'un systeme de bibliotheque donnees ICL, presentant une attention particuliere aux facilites prevues pour controler la recherche et mise a jour d'elements