C.J. Nagel, C. Han, and G. Stephanopoulos, Modeling Languages: Declarative and Imperative Descriptions of Chemical Reactions and Processing Systems. C. Han, G. Stephanopoulos, and J.M. Douglas, Automation in Design:The Conceptual Synthesis of Chemical Processing Schemes. M.L. Mavrovouniotis, Symbolic and Quantitative Reasoning: Design of Reaction Pathways through Recursive Satisfaction of Constraints. C. Nagel and G. Stephanopoulos, Inductive and Deductive Reasoning: The Case of Identifying Potential Hazards in Chemical Processes. K.G. Joback and G. Stephanopoulos, Searching Spaces of Discrete Solutions: The Design of Molecules Possessing Desired Physical Properties. References.