Solid modeling by computers from theory to applications ; proceedings of a symposium held Sept. 25 - 27, 1983, at the General Motors Research Laboratories, Warren, Mich. (Plenum Pr., 1984)