A. Antonov and Y. Krysanov, “Computing polygon as a research tool in studying hardware-software platforms”, Num. Meth. Prog., vol. 4, no. 4, pp. 37–43, Oct. 2003.