There is the textbook by Papadimitriou, I don't have a copy but I once taught a class that had been based on that book and slightly updated to include elements from Arora Barak. I think it's still a jump up from Sipser but perhaps a little gentler than AB. Ymmv