R Kurki-Suonio

R Kurki-Suonio is the author of books such as A Practical Theory Of Reactive Systems.