@book{23803,
	title = {JOURNAL OF COMPUTER AND SYSTEM SCIENCES},
	publisher = {Elsevier},
	address = {Amsterdam}
}