Compilation for Secure Multi-party Computation - Niklas Büscher, Stefan Katzenbeisser (Springer, 2017)