@book{29747,
	author = {Hubmann, Heinrich},
	title = {Formal foundations for software engineering methods},
	publisher = {Springer,},
	year = {1997},
	address = {New York:}
}