Bergstra, J. A.; Düwell, M. Accusation Theory. Transmath 2021.