Before revision: The synthesis problem was introduced by Alonzo Church in 1962 , with specifications being formulas in monadic second-order logic .
After revision: The synthesis problem was introduced by Alonzo Church in 1962 , with specifications being formulas in monadic second-order logic