@book{169845,
	author = {Hee, K. M. van },
	title = {Information systems engineering a formal approach},
	publisher = {Cambridge University Press},
	year = {1994},
	address = {Cambridge}
}