Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. - B. Grima; José Ambrosio Toval Álvarez (GULP-PRODE (2), 1994)