Text this: Formal groups and applications /