Oh my god! It's SETL.
After getting my Masters degree in the early 80s, I went to NYU for my Ph.D. with the intent purpose of working on SETL with Jack Schwartz. Unfortunately, by that time, Jack had moved on from SETL and onto the world of Robotics. Robert Dewar was too busy building Realia COBOL and was not taking on any additional Ph.D. students. So I floundered around NYU for a year before deciding to do my own commercial software, which was probably the best decision I ever made. Especially after seeing a lot of Ph.D. students at NYU who had been there for 10 years.