_id,doi,title
4490,10.1007/BFb0055086,The regular real-time languages