J. Kollár, J. Porubän, and P. Václavík, “Separating Concerns in Programming: Data, Control and Actions”, Comput. Inform., vol. 24, no. 5, pp. 441–462, Feb. 2012.