Text this: Unifying Theories of Programming and Formal Engineering Methods