Text this: Logics of Specification Languages

  _____     ______   __   __     ___              
 /  ___||  /_   _//  \ \\/ //   / _ \\      ___   
| // __     -| ||-    \   //   | / \ ||    /   || 
| \\_\ ||   _| ||_    / . \\   | \_/ ||   | [] || 
 \____//   /_____//  /_//\_\\   \___//     \__ || 
  `---`    `-----`   `-`  --`   `---`       -|_|| 
                                             `-`