Bailey, B., & Martin, G. (2010). ESL Models and their Application: Electronic System Level Design and Verification in Practice. Springer-Verlag US.
Παραπομπή σε μορφή Chicago (17η εκδ.)Bailey, Brian, και Grant Martin. ESL Models and Their Application: Electronic System Level Design and Verification in Practice. Boston, MA: Springer-Verlag US, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Bailey, Brian, και Grant Martin. ESL Models and Their Application: Electronic System Level Design and Verification in Practice. Springer-Verlag US, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.