Conference paperThe synthesis of finite state syntax directed top-down and bottom-up transducersDines BjørnerSWAT 1970