Production Systems: A Notation for Defining Syntax and Translation | IEEE Journals & Magazine | IEEE Xplore