Gaya APA

Brat, G. et al (2013). NASA Formal Methods . Springer Berlin Heidelberg: Springer.

Gaya MLA

Brat, Guillaume. et al. "NASA Formal Methods". Springer Berlin Heidelberg: Springer, 2013. E-Book.