APA Style

Margaria, T., Yi, W. (2001). Tools and Algorithms for the Construction and Analysis of Systems (1st). : Springer.

MLA Style

Margaria, Tiziana., Yi, Wang. "Tools and Algorithms for the Construction and Analysis of Systems". 1st : Springer, 2001. Text.