@book{5832,
	author = {Ehrig, H.},
	title = {Fundamentals of Algebraic specification},
	publisher = {Springer-Verlag},
	year = {1985},
	address = {New York}
}