The synthesis of finite state syntax directed top-down and bottom-up transducersDines Bjørner1970SWAT 1970
