https://inf.ethz.ch/personal/markusp/teaching/guides/guide-p...
He has a list of useful books at the end (I haven't read any of them, though)
https://inf.ethz.ch/personal/markusp/teaching/guides/guide-p...
He has a list of useful books at the end (I haven't read any of them, though)