The Formal Definition of Semantics by String Automata. - G. Kampen; Jean-Loup Baer (Comput. Lang., 1976)