If you like this, you might also like http://www.win.tue.nl/mcrl2/release/user_manual/index.html