Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedingsUustalu, Tarmo2006 https://www.ester.ee/record=b2160527*est