A Practical Theory Of Reactive Systems door Reino Kurki-Suonio