Alexandre M. L. de Vasconcelos. A Formal Description of an Incremental Type-Checker for Z. In Roberto Antonio Rodrigues de Almeida, Roberto Tom Price, editors, Proceedings of the 8th Brazilian Symposium on Software Engineering, SBES 1994, Curitiba, PR, Brazil, October 26-27, 1994. pages 127-141, SBC, 1994. [doi]
Abstract is missing.