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