Alexandre Vasconcelos. 1994.
 A Formal Description of an Incremental Type-Checker for Z. In <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software</em>, outubro 26, 1994, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 127-141. DOI: <a href="https://doi.org/10.5753/sbes.1994.24464">https://doi.org/10.5753/sbes.1994.24464</a>.