There is no standard style for references and citations in the operations research literature. For this course, use this "typical" style described below.
Y. Linde, A. Buzo and R.M. Gray. An algorithm for vector quantizer design. IEEE Transactions on Communications, 28(1):84-95, 1980.
M. Fanty, P. Schmid, and R. Cole. City name recognition over the telephone. In Proceedings of the International Conference on Acoustics, Speech and Signal Processing, volume 1, pages 549-552, Minneapolis, U.S.A., 1993.
J. B. Smith. High resolution schemes. Technical report 92-00, Institute for Computer Applications in Science and Engineering, 2002.
H. Abut, editor. Vector Quantization. IEEE Press, 1990.
Linde et al. (1980) proved rate of convergence results for this type of algorithm.
This type of integer programming formulation has been studied before (Abut 1990).
A similar theorem has been proved previously (Fanty et al. 1993, Theorem 5.2).
It has been conjectured that this type of mathematical programming formulation can be solved efficiently (Smith 2002, p. 23).