F.: Algebraic Theory of Modular Specification Development (1987)

by H Ehrig, W Fey, H Hansen, M Lowe, Papisi-Presicce