Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Chicago Style (17. basım) AtıfNão informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
MLA (8th ed.) AtıfNão informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..