Fundamentals of algebraic speci 1 (1985)

by H Ehrig, B Mahr