Slodičák, V. 2011. Some useful structures for categorical approach for program behavior. Journal of Information and Organizational Sciences. 35, 1 (Jun. 2011).