APA Style

Garavel, H., Hatcliff, J. (2003). Tools and Algorithms for the construction and Analysys of Systems (1th). Berlin: Springer.

MLA Style

Garavel, Hubert., Hatcliff, John. "Tools and Algorithms for the construction and Analysys of Systems". 1th Berlin: Springer, 2003. Text.