G. Kampen, Jean-Loup Baer. The Formal Definition of Semantics by String Automata. Computer Languages, Systems \& Structures, 1(2):121-138, 1976.
@article{KampenB76, title = {The Formal Definition of Semantics by String Automata}, author = {G. Kampen and Jean-Loup Baer}, year = {1976}, tags = {semantics, formal semantics}, researchr = {https://researchr.org/publication/KampenB76}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {1}, number = {2}, pages = {121-138}, }