Accepted for publication in Mathematical Structures in Computer Science (2003)

by J J M M Rutten
Venue:Journal of Automata, Languages and Combinatorics