https://www.ccpress.pl/produkt/Dowody_ontologiczne._W_900._r...
It has multiple formalisations of both Anselm's and Gaunilo's arguments, and critiques of each approach