أرسل هذا في رسالة قصيرة: Interactive Systems. Design, Specification, and Verification

 ______     ______   _    _      ___      ______  
|      \\  /_   _// | |  | ||   / _ \\   /_   _// 
|  --  //   -| ||-  | |/\| ||  | / \ ||    | ||   
|  --  \\   _| ||_  |  /\  ||  | \_/ ||   _| ||   
|______//  /_____// |_// \_||   \___//   /__//    
`------`   `-----`  `-`   `-`   `---`    `--`