Explanation of Algebraic Reasoning: The Aplusix System. - Jean-François Nicaud; M. Saidi (KBCS, 1989)

The automatic generation of test cases for optimizing Fortran compilers. - C. J. Burgess; M. Saidi (Inf. Softw. Technol., 1996)