@book{24517,
	author = {Shum KP.  K. [ED]},
	title = {Proceedings Of The Conference On Ordered Structures And Algebra Of Computer Languages},
	publisher = {New Jersey},
	address = {Hong Kong }
}