TY - BOOK AU - Joseph Sifakis TI - Understanding and Changing the World SN - 9789811919329 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-981-19-1932-9 ER -