Text this: Formal specification of interactive graphics programming languages