Algebraic theory of modular speci development (1987)

by H Ehrig, W Fey, H Hansen, M Lowe, F Parisi-Presicce