DOI,IST REx ID,Title of publication
10.1007/BFb0055086,4490,The regular real-time languages