APA-viite (7. p.)
Paul Boca, J. P. B. Formal Methods: State of the Art and New Directions. Springer.
Chicago-viite (17. p.)
Paul Boca, Jonathan P. Bowen. Formal Methods: State of the Art and New Directions. Londres, Inglaterra: Springer.
MLA-viite (9. p.)
Paul Boca, Jonathan P. Bowen. Formal Methods: State of the Art and New Directions. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.