| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors | 978-3-540-23342-8 (3-540-23342-3) | 2005 |
| A programmer's introduction to computability and formal languages | 978-91-44-06311-9 (91-44-06311-3) | 1971 |
K S · R.K. · R K S · R. Kurki-Suonio · R. S.