One-sample Sigma Known z-test for the Mean
more stuff from Dr Dawn
Simple One-sample z-test for the Mean when Sigma is Known