JASIM AL-FARTTOOSI, DAWOOD SALMAN. “Formal Model and Policy Specification for Software Defined Networks”. Journal of Kufa for Mathematics and Computer, vol. 3, no. 2, Dec. 2016, pp. 55-62, doi:10.31642/JoKMC/2018/030207.