Antonín Kucera: On Finite Representations of Infinite-State Behaviours. SOFSEM 1997: 481-488