V. Slodičák and P. Macko, “The rôle of linear logic in coalgebraical approach of computing”, J. inf. organ. sci. (Online), vol. 35, no. 2, Dec. 2011.