@book{4558,
	author = {Pabelico, Rafael Ramos and Venkatachalam, Paruvachi A.,  and Government of Australia, },
	title = {Analysis of a few methods on correctness based on program structure},
	publisher = {Asian Institute of Technology,},
	year = {1987},
	series = {Research studies project report ;},
	address = {Bangkok :},
	note = {A research study summitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology},
	url = {http://203.159.5.9/ait-thesis/detail.php?q=B18969}
}