Formal languages: Origins and directions | IEEE Conference Publication | IEEE Xplore