Text this: Formal aspects of computing [electronic resource].