發送短信 : Advances in design automation, 1992 :