@book{10419,
	author = {Ekawit Nantajeewarawat and Vilas Wuwongse, and The Royal Thai Government,},
	title = {An axiomatic framework for deductive object-oriented representation systems based-on declarative program theory},
	publisher = {Asian Institute of Technology,},
	year = {1997},
	series = {Dissertation ;},
	address = {Bangkok :},
	note = {A dissertation submitted in a partial fulfillment of the requirements for the degree of Doctor of Engineering},
	url = {http://203.159.5.9/ait-thesis/detail.php?q=B00313}
}