Especificación formal de sistemas de información temporalizados - Montes-López, María Lourdes (M. L. Montes-L., 2000)
Consultar en el disco de computadora: glosario de términos y glosario de la notación Z.