Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos: An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM 2014: 407-418