Lange, Andreas and Till Requate (2000), Pigouvian Taxes in General Equilibrium with a Fixed Tax Redistribution Rule, Journal of Public Economic Theory 2, pp. 25-42.