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