Mihályi, Daniel, and Valerie Novitzká. “Towards the Knowledge in Coalgebraic Model of IDS”. Computing and Informatics, vol. 33, no. 1, June 2014, pp. 61-78, http://147.213.75.17/ojs/index.php/cai/article/view/731.