Gaya APA

Grabowski, J., Nielsen, B. (2005). Formal Approaches to Software Testing (1st ed.). Berlin: Springer.

Gaya MLA

Grabowski, Jens.., Nielsen, Brian.. "Formal Approaches to Software Testing". 1st ed. Berlin: Springer, 2005. E Book.