Semantic Space for the Verification of Economic Mathematical Models - V. L. Petryk (Business Inform, 2013)