by Albert N.Shiryaev
Really complete book. It contains the most important topics in a formal probability course. The author explains most of the things in detail, which makes the book a little exhaustive sometimes. But it is always a good reference and a good place to go if you want to see all the steps.