Gaya APA

Järvisalo, M., Gelder, A, V. (2013). Theory and Applications of Satisfiability Testing – SAT 2013 . Springer Berlin Heidelberg: Springer.

Gaya MLA

Järvisalo, Matti., Gelder, Allen, Van. "Theory and Applications of Satisfiability Testing – SAT 2013". Springer Berlin Heidelberg: Springer, 2013. E-Book.