formal protocol specification

• 英?[?f?:m?l ?pr??t??k?:l ?spesifi?kei??n]
• 美?[?f?rm?l ?prot??k?l ?sp?s?f??ke??n]