Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings - Tarmo Uustalu ((Lecture Notes in Computer Science))