Author: Estonia) Nordic Workshop on Programming Theory (14th 2002 Tallinn