Oscillations of neutrinos produced by a beam of electrons

We analyze a thought neutrino oscillation experiment in which neutrinos are produced by electrons colliding with atomic nuclei of a target. The neutrinos are detected by observing charged leptons, which are produced by neutrinos colliding with nuclei of the detector. We consider the case when both the target and detector nuclei have finite masses. (The case of infinitely heavy nuclei was considered in the literature earlier.)