Abstract Specification Of Mathematical Structures And Methods. - Carla Limongelli; M. Beatrice Mele; Mauro Regio; Marco Temperini (DISCO, 1990)