Time to torture myself a little more easily.
I found two videos for some university course that seem to be related to this IMP: A simple imperative language that is used to teach theory of programming languages.
It’s being used in the 2010 paper I’m reading, so I went back in time to the 1993 paper it referenced, then forward in time to find *some* video where they talked about it.
Usually I prefer reading these kinds of things but when I find my eyes crossing over it’s time to just and listen for a bit.
[responsivevoice_button voice="US English Male"]