Barbara Liskov

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.3043&rep=rep1&type=pdf

http://csg.csail.mit.edu/CSGArchives/memos/Memo-117.pdf

Hoare, Dahl
hierarchical program structures hoare dahl

http://www.informatik.uni-bremen.de/agbkb/lehre/programmiersprachen/artikel/dahl-hoare-hierarchical.pdf from https://www.youtube.com/watch?v=eEBOvqMfPoI 48mim

links
Oop