Vasconcelos, Alexandre.
" A Formal Description of an Incremental Type-Checker for Z." <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software,
Curitiba/PR, 1994</em>. SBC, 1994,  
pp.127-141.