Towards a verified MiniSML/SECD system. - Todd Simpson; Graham M. Birtwistle; Brian T. Graham (Softw. Eng. J., 1993)

Three generalizations of Weyl's denominator formula. - Todd Simpson (Electron. J. Comb., 1996)

Another Deformation of Weyl's Denominator Formula. - Todd Simpson (J. Comb. Theory A, 1997)