Tables of normal probability functions (Clearinghouse, 1953)