Jakuš, D. Models and Properties of Abstract Symbol Systems. Comput. Inform. 2012, 14, 253-270.