Vasconcelos, A.
1994 out 26.  A Formal Description of an Incremental Type-Checker for Z. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :