Αποστολή με SMS: Formal specification of interactive graphics programming languages