Renaming the PTGEC.

Published in: IEEE Trans. Electron. Comput. (1963)