Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006: proceedings / ed. T. Uustalu, 2006 r=on-line. - Текст : электронный.