Object-oriented design, Jackson system development (JSD) specifications and concurrency. - M. Elizabeth C. Hull; Adib Zarea-Aliabadi; David A. Guthrie (Softw. Eng. J., 1989)