Text is moved into: http://yurichev.com/writings/z3_rockey.pdf
Update: as seen on reddit:
This open sourced site and this page in particular is hosted on GitHub. Patches, suggestions and comments are welcome.
Interested in articles like this? Subscribe to my blog and/or twitter: @yurichev and/or facebook.
→ [list of blog posts]