• J. Carmo, P. Gouveia, and F. M. Dionísio. Elementos de Matemática Discreta. College Publications, London, 2013. ISBN 978-1-84890-134-6.
  • A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation - Second Edition. College Publications, London, 2012. ISBN 978-1-904987-88-8.
  • A. Sernadas and C. Sernadas. Fundamentos de Lógica e Teoria da Computação - Segunda Edição. College Publications, London, 2012. ISBN 978-1-84890-081-3.
  • W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, volume 35 of Applied Logic. Springer, 2008.
    Get a preprint: 06-CCGGS-fibringbook.pdf 
  • A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation. College Publications, London, 2008. ISBN 978-1-904987-88-8.
    Get a preprint: 08-SS-FLTC.pdf 
  • J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition). IST Press, 2004.
  • J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica (Introduction to Programming in Mathematica). IST Press, 1999.
  • C. Sernadas. Introdução à Teoria da Computação (An Introduction to Computing Theory). Editorial Presença, 1993.
  • Ana Ferreira, Luís Barreto, Pedro Brandao, Ricardo Correia, Susana Sargento, and Luís Antunes. Accessing an existing virtual electronic patient record with a secure wireless architecture, chapter II. Mobile Health Solutions for Biomedical Applications. IGI global, Medical Information Science Reference, 2009.
  • Ana Ferreira, Ricardo Correia, Luís Antunes, and David Chadwick. Security of Electronic Medical Records, chapter III. Handbook of Research on Distributed Medical Informatics and E-Health. IGI global, Medical Information Science Reference, 2009.