When I studied Computation at UMIST in the mid 70s (University of Manchester Institute of Science and Technology, now sadly subsumed into the University of Manchester), I had the privilege of being taught by Jeff Rohl, one of the creators of Atlas Autocode - a kind of souped-up Algol specifically created for the Atlas.
I don't think that I ever worked directly on the Atlas - by that time UMRCC was primarily using ICL 1900s and its CDC 7600 and 6000 for university support services. I remember using teletype access to the CDC 6000 to develop a Pascal program to give you optimal strategies when playing blackjack, although needless to say this wasn't part of my course or even my final year project.
Anyway: Jeff Rohl was one of the finest teachers I ever encountered in my life. Soon after I left UMIST he returned to teach in his native Australia (Adelaide I believe), and I hope he achieved his ambition of conducting a Beethoven chorale performed by a top choir and orchestra. The one thing he taught me above all else, despite being a firm advocate of formally well designed and structured programming techniques was: if your program doesn't do what is set out in its specification then it's worthless, regardless of how well structured it may be. This was a most enlightened view from an academic, but served me well throughout my career.
Don't know if you're still with us Jeff, but thank you anyway.