publication venue for Use of a coherent-state formalism in superconductivity and Josephson-junction calculations. 50:152-160. 1979 HIGH-ENERGY MUON FLUX AT SEA LEVEL UP TO 8 TEV DERIVED FROM OBSERVED BURST SIZE SPECTRUM. B 4:177-+. 1971