@book{31404,
	author = {Ince, D.C.},
	title = {An introduction to discrete mathematics and formal system specification},
	publisher = {Oxford University Press,},
	year = {1988},
	address = {Oxford:}
}