رسول‌زادگان, عباس, عبداله‌زاده بارفروش, احمد (2013). مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z. *فصلنامه مهندسی برق و مهندسی کامپيوتر ايران*, 10(4), 69-85.