Zareiee, M. , Dideban, A. , Nazemzadeh, P. (2011), 'From Forbidden States to Linear Constraints', World Academy of Science, Engineering and Technology, Open Science Index 49, International Journal of Computer and Information Engineering, 5(1), 97 - 103.