Version submitted along with David Wiesner's Master Thesis