(Darmstadt)Advanced Course on Computer Aided Design Advanced Course on Computer Aided Design Formal methods in computer-aided design Principles of computer-aided design A natural language interface for computer-aided design The Arcnitect's duide to computeraided design International conference on computer-aided design'86