  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.)
