ECFA-CERN Workshop on Large Hadron Collider in the LEP tunnel, 1984 https://cds.cern.ch/record/155724