https://5dok.net/document/yj7j4875-optimal-dynamic-taxation-with-respect-to-firms.html