The Mechanization of Natural Philosophy - Roux (Springer Netherlands, 2013)