Specification and design of large computer-based systems. - Esmaeil Habashi (1995)