Stripe Rust - Chen, Xianming; Kang, Zhensheng (Springer Netherlands, 2017)