Algebraic Specification I (1985)

by H Ehrig, B Mahr