Text this: Theories of Programming and Formal Methods