Especificación formal de sistemas de información temporalizados - Montes López, María Lourdes (Tesis (maestría en computación)–Instituto Tecnológico de Costa Rica, 2000., 2000)