@book{269171,
	author = {Hogrefe, Dieter},
	title = {Formal Description Techniques VII},
	publisher = {Chapman & Hall},
	year = {1995},
	address = {New York }
}