Shuly Wintner Finite-State Technology as a Programming Environment. 97-106 2007 conf/cicling/2007 CICLing http://dx.doi.org/10.1007/978-3-540-70939-8_9 db/conf/cicling/cicling2007.html#Wintner07