Click Lezione 27 - correctness bfs_compressed.pdf link to view the file.