A general framework for modular implementations of modular systems (1993)

by M Bidoit, R Hennicker
Venue:Proc. 5th Joint Conf. on Theory and Practice of Software Development, Orsay. Springer LNCS 668