Thanks for writing all that. A quick review:
Some misspellings: "varuous", "decelop", "Berkely", "two LALR parses",
"since .".
The text sometimes says "Yacc" and sometimes "YACC". Steven Johnson's
original paper spelled it "Yacc"; let's go with that.
It'd be nice not to lose the info from Paul Rubin that the original Yacc
"suffered from horrible kludges that Johnson had to perpetrate to make
Yacc fit in a PDP-11".
Please add DOIs or stable URLs for citations. For Corbett:
https://apps.dtic.mil/dtic/tr/fulltext/u2/a611756.pdf
For DeRemer & Pennello:
https://dx.doi.org/10.1145/69622.357187
For Johnson's "A Portable Compiler":
https://dx.doi.org/10.1145/512760.512771
For Johnson's "Yacc" documentation I cannot find a URL from Bell Labs,
but I found this faithful rendition of the 7th Edition Unix version
(which I checked against my circa-1979 printed copy):
https://s3.amazonaws.com/plan9-bell-labs/7thEdMan/v7vol2b.pdf