| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on Logic | 978-1-4614-5467-0 (1-4614-5467-0) | 2012 |
| Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on Logic | 978-1-4614-5469-4 (1-4614-5469-7) | 2012 |
| Definition of programming languages by interpreting automata | 978-0-12-525750-3 (0-12-525750-3) | 1974 |