Hartmut Ehrig
-
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Maude's module algebra
Science of Computer Programming