Mathematical description of program diagram Karel Beneš (1989) Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica