Gaya APA

Beyer, D., Huisman, M. (2018). Tools and Algorithms for the Construction and Analysis of Systems (1st ed. 2018). : Springer International Publishing.

Gaya MLA

Beyer, Dirk., Huisman, Marieke. "Tools and Algorithms for the Construction and Analysis of Systems". 1st ed. 2018 : Springer International Publishing, 2018. Electronic Resource.