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.