Παραπομπή σε μορφή APA (7η εκδ.)

Clarke, E. M., & Kurshan, R. P. (1991). Computer-aided verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. Springer-Verlag.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Clarke, E. M., και R. P. Kurshan. Computer-aided Verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. berlin: Springer-Verlag, 1991.

Παραπομπή σε μορφή MLA (8th εκδ.)

Clarke, E. M., και R. P. Kurshan. Computer-aided Verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. Springer-Verlag, 1991.