發送短信 : Logical foundations of computer science--Tver '92 :