@MichaelBorgwardt yep. I was working on an answer with that information before it was closed. So the answer appears to be "MIT in the early 80s or before". — MichaelT 2 days ago
user20683
user20683
user20683