Regarding your last point, while the ideas of Smalltalk and especially Lisp are influential, C may have just as much a claim to influence. Both Lisp and C are beautiful abstractions, the assembly languages of two abstract machines. While Lisp is powerful, C is such a profound success because the C abstract machine is very close to how computers actually work.