Joel I. Seiferas Machine-Independent Complexity Theory. 163-186 1990 Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) db/books/collections/leeuwen90.html#Seiferas90