APA-viite (7. p.)
Warren A. Hunt, S. D. J. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings. Springer.
Chicago-viite (17. p.)
Warren A. Hunt, Steven D. Johnson. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Warren A. Hunt, Steven D. Johnson. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.