On finite representations of infinite-state behaviours
scientific article; zbMATH DE number 1771662