towards semantic understanding - - an approach based on information extraction ontologies .
Programming with abstract data types