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, http://147.213.75.17/ojs/index.php/cai/article/view/409.