@book{61876,
	author = {Sannella, D. and Tarlecki, Andrzej.},
	title = {Foundations of algebraic specification and formal software development /},
	publisher = {Springer,},
	year = {c2012},
	address = {Heidelberg ;}
}