Hassan, Ahmed AbdAllah, and Ladislav Hudec. “Management and Verification of Firewall and Router Access Lists”. COMPUTING AND INFORMATICS, vol. 23, no. 1, Feb. 2012, pp. 77-100, https://www.cai.sk/ojs/index.php/cai/article/view/409.