Methods and tools for computer integrated manufacturing - Dillmann, R., 1949-; Rembold, Ulrich (Lecture notes in computer science, 1984)