Verificación formal de algoritmos : ejercicios resueltos - Silva Ramírez, Esther Lydia. (Universidad de Cádiz, 2018)