Text this: Three Early Formal Approaches to the Verification of Concurrent Programs.