Mihályi, D.; Novitzká, V. Towards the Knowledge in Coalgebraic Model of IDS. Comput. Inform. 2014, 33, 61-78.