add refs to zis and fix section typo

Primitive/Symmetric/Cipher/Block/Simon/Specification.cry

@@ -222,55 +222,67 @@ private
   /**
    * `u` is a periodic sequence with period 31.
    * `u` is used in the definition of the Simon key schedule, and
-   * is decribed in Section 3.1 of [SIMON].
+   * is decribed in Section 3.2 of [SIMON].
    */
   u : [inf]
   u = 0b1111101000100101011000011100110 # u
 
   /**
    * `v` is a periodic sequence with period 31
    * `v` is used in the definition of the Simon key schedule, and
-   * is decribed in Section 3.1 of [SIMON].
+   * is decribed in Section 3.2 of [SIMON].
    */
   v : [inf]
   v = 0b1000111011111001001100001011010 # v
 
   /**
    * `w` is a periodic sequence with period 31
    * `w` is used in the definition of the Simon key schedule, and
-   * is decribed in Section 3.1 of [SIMON].
+   * is decribed in Section 3.2 of [SIMON].
    */
   w : [inf]
   w = 0b1000010010110011111000110111010 # w
 
   /**
    * `t` is a periodic sequence with period 2.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   t : [inf]
   t = 0b01 # t
 
   /**
    * The sequence `z0` is an alternative name of the sequence `u`.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   z0 = u
 
   /**
    * The sequence `z1` is an alternative name of the sequence `v`.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   z1 = v
 
   /**
    * The sequence `z2` is the bitwise XOR of `u` and `t`.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   z2 = u ^ t
 
   /**
    * The sequence `z3` is the bitwise XOR of `v` and `t`.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   z3 = v ^ t
 
   /**
    * The sequence `z4` is the bitwise XOR of `w` and `t`.
+   *
+   * Reference: [SIMON] Section 3.2.
    */
   z4 = w ^ t