Thomas R. Gruber and Patrice O. Gautier. (1993). Machine-generated explanations of engineering models: A compositional modeling approach. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, pages 1502-1508, San Mateo, CA: Morgan Kaufmann, 1993.