Software by Solid Programs