Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings - MPC 2006 (2006 : Kingissepa, Estonia); Uustalu, Tarmo; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses