we wrote it up for the proceedings of the IEEE, Institute of Electrical and Electronics Engineers.
The paper got published, 1976, Proceedings of the IEEE.
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.