Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Lua i Stíl Chicago (17ú heag.)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
Lua MLA (8ú heag.)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.