Rusins FreivaldsBooksAlgorithm theory -- SWAT 2006Fundamentals of Computation TheoryComputing with New ResourcesAuthor data: Open Library