For those interested in occult rituals to summon Satan, there is the Compendium Rarissimum that gives a circle and seal for Satan, as well as the Testament of Solomon (although here the name is rendered Sathon)
S. Connolly also gives a general ritual for invoking demons using their sigils, including a sigil for Satan.
Satan is also summoned during the Abramelin Operation.
There are also a few different ways of summoning related demons like Lucifer, Belial, Beelzebub, Azazel, and Samael in a variety of different grimoires, but I have omitted them because they aren't always considered to be the same being as Satan. Each of these are more common, though, so the handful of mentions of genuinely summoning Satan are quite rare in occultism.