Gilles Labonté: Report on a program for solving polynomial equations in non-commuting variables. SIGSAM Bull. 21(2): 4-7 (1987)