1931
6 works on record
From object-orientation to formal methods
Verifiable programming
Structured programming
SIMULA
Discrete event simulation languages
Common base language
