Después de su ejecución fueron publicadas: