Hans Leiß Kleenean semimodules and linear languages. 51-53 2002 conf/fics/2002 FICS db/conf/fics/fics2002.html#Leiss02