Taibi, F. , Abbou, F. , Alam, M.. "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 (2008), 2(9), 3106 - 3113.