This interesting PLL decoder circuit using valves has been found in the 1970 RCA valve manual. Some of the critical components besides the valves and the source is not provided.