Zamrii, I. V. A Method for Specifying Functions Defined in Terms of the Q3 - Representation of Real Numbers and Invariants in Their Representation. FM 2018, 1.