@book{158536,
	author = {JONES, GERAINT},
	title = {PROGRAMMING IN OCCAM 2},
	publisher = {PRENTICE HALL, NEW JERSEY},
	year = {1998}
}