Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings - Uustalu, Tarmo (Springer Berlin Heidelberg, 2006)