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