S. Sen and J. Tate, “Ramification Groups of Local Fields”, JIMS, vol. 27, no. 3-4, pp. 197–202, Dec. 1963.