Normal distribution functions from appendix A