["Z++, an Object-Oriented Extension to Z", Lano, Z User Workshop, Oxford 1990, Springer Workshops in Computing, 1991, pp.151-172].
... and benedictives[?] derived from more basic forms). Each verb is also has a grammatical voice: either active, passive or middle. (Middle indicates actions done ...