Text this: Formal languages for computer simulation :