Text this: Formal Foundations for Software Engineering Methods