Title: Survey of current practice in the use of automated techniques for specifications
Subjects: Automation, Specification writing, Structural design