@book{34251,
	author = {BREU, Ruth},
	title = {Algebraic specification techniques in object oriented programming environments /},
	publisher = {Springer, },
	year = {1991},
	series = {Lecture Notes in Computer Science},
	address = {Berlin ;  }
}