https://www.guiadoti.com/2014/07/criador-do-minix-andrew-tanenbaum-vai-se-aposentar-em-outubro/