Text this: Synchronous programming of reactive systems /