1. Acquisition of proof skills in geometry;Anderson,1983
2. Le système MESSAGE: Un premier pas vers l’analyse assisté par ordinateur des interactions homme-machine;Boy;Le Trivail Humain,1983
3. Cockpit analysis and assessment by the MESSAGE methodology;Boy,1983
4. An expert system for fault diagnosis in orbital refueling operations;Boy,1986
5. What Computers Can't Do: The Limits of Artificial Intelligence;Dreyfus,1979