Intrinsic vs. extrinsic verification

Tracing the origin of the terms "intrinsic" and "extrinsic" in formal verification and programming languages.