Fundamentals of Equational Specification 1 (1985)

by H Ehrig, B Mahr