De Formicarius, ('De Mierenhoop'), een lange, moraliserende verhandeling in de vorm van een dialoog tussen een theoloog en een student, werd in 1435-1437 geschreven door Johannes Nider tijdens het Concilie van Bazel. Het werd gedrukt in 1475 en is het tweede gedrukte boek ooit waarin hekserij wordt besproken.