@book{58057, title = {Journal of computer and system sciences :}, publisher = {Academic Press.}, address = {New York :} }