| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Horas de mil minutos | 978-84-85750-19-1 | 1981 | Maribel Fernández |
| Models of Computation: An Introduction to Computability Theory | 978-1-84882-433-1 | 2010 | |
| Programming Languages and Operational Semantics: A Concise Overview | 978-1-4471-6367-1 | 2014 | Maribel Fernández |
| Programming Languages and Operational Semantics: An Introduction | 978-0-9543006-3-0 | 2004 | |
College Publications · Springer · Vox