Alan Turing's 'On Computable Numbers'

Turing's seminal paper introduced the concept of the Turing machine, laying the theoretical groundwork for computation and computability, which would later be crucial for understanding program semantics and limits of verification.

Significance

Provided the foundational mathematical model for computation, implicitly defining the limits and possibilities of what could be formally verified by an algorithm.