D. Jakuš, “Models and Properties of Abstract Symbol Systems”, Comput. Inform., vol. 14, no. 3, pp. 253–270, Jan. 2012.