The Stoneridge Software Theory