Αποστολή με SMS: Synthesis of Digital Designs from Recursion Equations