A Tool to Coordinate Tools. - Roberto Bisiani; François Lecouat; Vincenzo Ambriola (IEEE Softw., 1988)