Sun, X. (1997). Ramifications on arithmetic schemes. Journal für die Reine und Angewandte Mathematik, 488, 37-54. doi:10.1515/crll.1997.488.37.