Slodičák, V. Some Useful Structures for Categorical Approach for Program Behavior. J. inf. organ. sci. (Online) 2011, 35.