Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.