Made some text bold.
Minor changes.
Added an example of finite arithmetic problems.
Merge pull request #84 from marioa/2013-05-oxford-dtc

2013 05 oxford dtc