Text this: Process algebra