Gaya APA

FM 2005: Formal Methods. (2005). Berlin: Springer.

Gaya MLA

FM 2005: Formal Methods. 1st ed.. Berlin: Springer, 2005. E Book.