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

Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.

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

Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, και E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.

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

Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.