A Practical Theory Of Reactive Systems by Reino Kurki-Suonio