Program Verification & Semantics: The Early Work