This is and update of Nick Kellaris' Thesis. Chapter 4 has been completed,
with significant changes to chapter 3. Still a work in progress.