1991

Reasoning about programs that interact

Proof, types and communication became connected tools for understanding software.