“…Some of the more widely known specification languages are CLEAR [8], Iota [43], ACT-ONE [12], SPECIAL [45], Z [l, 481, VDM's Meta-IV [6], Ina Jo [46], Gypsy [16], and PAISLey [55]. Of these, the ones most closely related to ours are CLEAR, Iota, ACT-ONE, and SPECIAL.…”