Wow! I remember reading that story when it first came out! I hadn’t remembered the name of it, but I certainly remembered the story!
Thanks for the link, it brought back memories of sitting in the school library for hours on end reading Analog, Astounding, and Galaxy!
Cheers!