co-autoria:

J. Rasga e C. Sernadas. Decidability of First-Order Theories and their Combination.
Birkhäuser/Springer, 2020.
[Ebook,Paperback:Springer;Amazon:UK,DE,USA]

D. Gomes, A. Sernadas, C. Sernadas, J. Rasga e P. Mateus. A Mathematical Primer on Linear Optimization.
College Publications, 2019.
[Ebook:College Publications;Paperback:Amazon:UK,DE,USA]

A. Sernadas, C. Sernadas, J. Rasga e J. Ramos. A Mathematical Primer on Computability.
College Publications, 2018.
[Ebook:College Publications;Paperback:Amazon:UK,DE,USA]

co-edição:

Essays in Honour of Amílcar Sernadas.
College Publications, 2017, C. Caleiro, F. Dionisio, P. Gouveia, P. Mateus e J. Rasga, editores.
[College Publications;Paperback:Amazon:UK,DE,USA]

tradução:

C. Hankin. Introdução ao Cálculo Lambda.
College Publications, 2012 (traduzido para Português por João Rasga).
[College Publications;Paperback:Amazon:UK,DE,USA]