Taibi, F. , Abbou, F. , Alam, M. (2008). 'Similarity Detection in Collaborative Development of Object-Oriented Formal Specifications'. World Academy of Science, Engineering and Technology, Open Science Index 21, International Journal of Computer and Systems Engineering, 2(9), 3106 - 3113.