I found this doc on the origins of the name (author also agrees it's terrible): http://www.glennshafer.com/assets/downloads/talks164_The-inv...
Sounds like it got mangled as work was being translated back and forth between Russian, English, French, and German.
I found this doc on the origins of the name (author also agrees it's terrible): http://www.glennshafer.com/assets/downloads/talks164_The-inv...
Sounds like it got mangled as work was being translated back and forth between Russian, English, French, and German.