Stripe Rust - Chen, Xianming (Springer Netherlands, 2017)