Reference Choices in Mathematical Proofs. - Huang, X. (1990)