Prova de correção do algoritmo oASP (MDP) utilizando representação diagramática - Saturno, A. G. (2019)