[TUHS] C from 1980 binaries

[John Foust via TUHS]

I'm working on a fun project with Prof. Tim Teitelbaum of Cornell, who 
developed the Cornell Program Synthesizer, an early IDE that ran on the
Terak computer.  We have an image of an 8" disk with the executables.

Source has been lost, so I'd like to try to reconstruct it.  He believes
the original was in an early C, circa 1979-1982, compiled on 
(I presume Unix) on maybe an 11/30 and them copied down to the 
Terak (like a PDP-11/03).

Is there an existing tool chain that is good at reconstructing C from 
binaries of the C compiler of this era?

- John