Algoritmos y estructuras de datos : con programas verificados en Dafny - Peña-Marí, Ricardo, (Garceta, 2023)