B. Fegley, R. Mullins, B. Ford, and C. Weiss. HCI (28), volume 850 of Communications in Computer and Information Science, page 401-408. Springer, (2018)
R. Mullins, C. Weiss, B. Fegley, and B. Ford. HCI (28), volume 850 of Communications in Computer and Information Science, page 263-267. Springer, (2018)
M. Krishnamoorthy, A. Suess, M. Onghena, F. Oxaal, and T. Spencer. Computational Support for Discrete Mathematics, volume 15 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 279-296. DIMACS/AMS, (1992)