One of those people who did credit Burroughs, was Prof Ron Morrison at St Andrews. His students often heard little snippets about the B5000, sometimes coinciden

One of those people who did credit Burroughs, was Prof Ron Morrison at St Andrews. His students often heard little snippets about the B5000, sometimes coincidental with diatribes against Pascal, particularly the arbitrary limitations like the limited set type. When I was there in 84-88, undergrads started off in S-Algol which was a recursive descent compiled, tidied-up Algol that ran on a C-based beta^h^h^h^h virtual machine. Lovely, friendly little language. After exposure to 'S', JH and SH classes switched to PS-Algol which had procedures as first class objects, so we learnt closures, and how to do really neat things like serialize closures to store (one calll), reflection, generate and compile code on the fly. Really a great language, and back in 85/86 or so, it had all this cool, safe stuff that Java didn't get until several iterations in. I didn't stay on after I graduated, so I missed out on the next step, which was a sort of always live environment called Napier. I don't know much about it, but always imagine a sort of concurrent Algol based Smalltalk. That may be close or far off the mark.