Engines of Order (A Mechanology of Algorithmic Techniques)