Departamento de Teoria da Computação
Materiais Didáticos e Instrumentais
Arnaldo Vieira Moura,
"Especificações Formais Z",
(1998). [87077]