@book{9780,
	author = {Jones, G.},
	title = {Programming in OCCAM},
	publisher = {Prentice-Hall},
	year = {1987},
	series = {Prentice-Hall International Series in Computer Science},
	address = {New Jersey}
}