Ah, but I have used it. Admittedly it was during a programming languages survey course at RPI in 1971-3.