On finite representations of infinite-state behaviours (1999)

by A Kučera
Venue:Information Processing Letters