Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতিNão informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
M.L.A (8 ম সংস্করণ) উদ্ধৃতিNão informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.