Add example programs corresponding to thesis Section 5.3.