Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Chicago-viite (17. p.)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
MLA-viite (8. p.)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.