Rachel Faran, Orna Kupferman: On Synthesis of Specifications with Arithmetic. SOFSEM 2020: 161-173