Cat. Informatica 2018 (pdf)