Pier Giorgio Bosco Giovanni Martini Corrado Moiso TINA ACE: An Environment for Specifying, Developing and Generating TINA Services. 620-621 1997 ICSE http://doi.acm.org/10.1145/253228.253503 db/conf/icse/icse97.html#BoscoMM97