發送短信 : Proceedings of the Workshop on High Integrity Software, Gaithersburg, MD, January 22-23, 1991 /