[2605.00s - 2612.00s] we wrote it up for the proceedings of the
IEEE, Institute of Electrical and Electronics Engineers.
[5055.00s - 5064.00s] 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.