Fadi Hanna Richard A. Frost Adding Semantics to Formal Data Specifications to Automatically Generate Corresponding Voice Data-Input Applications. 405-412 2007 ICSC http://doi.ieeecomputersociety.org/10.1109/ICSC.2007.76 conf/semco/2007 db/conf/semco/icsc2007.html#HannaF07