Incremental typechecking (1996)

by M G J van den Brand, J Heering, P Klint, P A Olivier van der Meulen, E A
Venue:In Language Prototyping: An Algebraic Specification Approach