Introduction à l'informatique théorique — Arto Salomaa