A formal theory for the investigation of crystal surfaces by the scattering of particles is developed. Expressions satisfying the condition of unitarity are presented for diffraction as well as one-phonon inelastic scattering, including the effects of surface bound states. The possibility of detection of surface phonons by scattering of low-energy He atoms from a cleaved surface is investigated. © 1969 The American Physical Society.