Formulae for the analysis of the flavor-tagged decay Bs0 → J/ψϕ