Fine-grain incremental implementation of algebraic specifications / E.A. van der Meulen

Fine-grain incremental implementation of algebraic specifications / E.A. van der Meulen