@book{336,
	author = {Hee, Van K.M.},
	title = {Information System Engineering A Formal Approach /},
	publisher = {Cambridge,},
	year = {2009.},
	address = {New York :},
	note = {Include Index}
}