Certification of algorithm 43: crout II | Publicación