Concept of the abstract program - T. Gregorics (CoRR, 2012)