Ada and the Equational
Theory of If-Then-Else", Algebra Universalis 30 (1993), 373-394.
Vojtechovsky, The varieties of quasigroups of Bol-Moufang type: An equational
In  it has been shown that the underlying algebraic structure is the one of a Kleene algebra with tests , and the corresponding equational
axioms can be exploited to reason about the story space and the plot on a propositional level, in particular for the purpose of personalisation.
The final chapter offers further observations on constituent order in equational
sentences (290), verbal clauses (290-95), and complex sentences (295-98).
structure of the model can be explained as follows:
s (1991) equational
account is that it, quite matter-of-factly, spans an uncertain space.
This is an equational
construction which strongly implies that new things might be 'mistaken'-- in contrast to things vakavanua.
The spreadsheet is incomparably more flexible than the standard marginal analysis conducted with the calculus, because the spreadsheet handles multi-period analyses - which are at the core of all difficult firm decisions - with perfect ease; it does not require simple equational
forms, as does the calculus.