Alfonso Miola, editor, Proceedings Design and Implementation of Symbolic Computation (DISCO 90), volume 429 of Springer LNCS, pages 205-214, April 1990

• Bidoit, Michel; Capy, Francis; Choppy, Christine (1990) Bidoit, Michel; Capy, Francis; Choppy, Christine "The design and specification of the ASSPEGIQUE database" pp205-214
• Butler G. and Cannon J.J., (1990) Butler G. and Cannon J.J., "The design of Cayley, a language for modern algebra" pp10-19