Naval Research Laboratory (U.S.). Library Branch.