Books by IEEE Electric Ship Technologies Symposium (2nd 2007 Arlington, Va.)