Algebraic Specification of Statistical Models for Analysis of Variance Computations | Synapse