Refactoring to Rust | Manning books | IEEE Xplore