Gaya APA
Fitzgerald, J., Hayes, I, J.
(2005).
FM 2005: Formal Methods
(
1st ed.)
.
Berlin:
Springer.
Gaya MLA
Fitzgerald, John.., Hayes, Ian, J..
"FM 2005: Formal Methods".
1st ed.
Berlin:
Springer,
2005.
E Book.