Vasconcelos, Alexandre.
" A Formal Description of an Incremental Type-Checker for Z" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (26 outubro 1994)