@book{22069,
	author = {LAI AND JIRACHIEFPATTANA and NO},
	title = {COMMUNICATION PROTOCOL SPECIFICATION AND VERIFICATION},
	publisher = {KLUWER ACADEMIC},
	year = {1998},
	edition = {1}
}