Eggersglüß, S., & Drechsler, R. (2012). High Quality Test Pattern Generation and Boolean Satisfiability. Springer US.
Παραπομπή σε μορφή Chicago (17η εκδ.)Eggersglüß, Stephan, και Rolf Drechsler. High Quality Test Pattern Generation and Boolean Satisfiability. Boston, MA: Springer US, 2012.
Παραπομπή σε μορφή MLA (8th εκδ.)Eggersglüß, Stephan, και Rolf Drechsler. High Quality Test Pattern Generation and Boolean Satisfiability. Springer US, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.