professor there in 1993. Sernadas's books include: Introdução à Teoria da Computação (Introduction to the Theory of Computing, Editorial Presença, 1993)...