(1)
Najafi, M.; Haghighi, H.; Zohdi Nasab, T. A Set of Refactoring Rules for UML-B Specifications. Comput. Inform. 2016, 35, 411-440.