Gaya APA

Beckert, B. et al (2013). Formal Methods for Components and Objects . Springer Berlin Heidelberg: Springer.

Gaya MLA

Beckert, Bernhard. et al. "Formal Methods for Components and Objects". Springer Berlin Heidelberg: Springer, 2013. E-Book.