Gaya APA

Groote, J, F., Larsen, K, G. (2021). Tools and Algorithms for the Construction and Analysis of Systems (1st ed. 2021). : Springer International Publishing.

Gaya MLA

Groote, Jan, Friso., Larsen, Kim, Guldstrand. "Tools and Algorithms for the Construction and Analysis of Systems". 1st ed. 2021 : Springer International Publishing, 2021. Electronic Resource.