An application of algorithm based on abstract data types to the keratoconus diagnosis | IEEE Conference Publication | IEEE Xplore