Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
Čikaški stil citiranja (17. izdanje)Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, i E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
MLA način citiranja (9. izdanje)Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.