Algebraic specification of a compiler for a language with pointers / E.A. van der MeulenDeriving incremental implementations from algebraic specifications / E.A. van der MeulenFine-grain incremental implementation of algebraic specifications / E.A. van der MeulenIncremental rewriting / Emma Anna van der Meulen