Gaya APA

Piterman, N., Smolka, S, A. (2013). Tools and Algorithms for the Construction and Analysis of Systems . Springer Berlin Heidelberg: Springer.

Gaya MLA

Piterman, Nir., Smolka, Scott, A.. "Tools and Algorithms for the Construction and Analysis of Systems". Springer Berlin Heidelberg: Springer, 2013. E-Book.