@book{11243,
	author = {J L Hien},
	title = {Discrete Structures Logic Computability}
}