He also got it published in the proceedings of the IEEE, Institute of Electronics Engineers, a couple of years after our paper, like 1978 or so.