Comment by tristramb

"To explain what I was doing in logic-driven software architecture I looked for a good metaphor and, on the spot, proposed that there was a kind of “contract” between caller and callee. He did not say anything, but his mere presence had enabled me to make my incipient ideas jell."

I hadn't realised that Hoare was present when Meyer first used the term 'contract' to describe his ideas.