Fundamentals of Algebraic Specification (1985)

by H Ehrig, B Mahr