Specification languages-assessment and trends. - Carl K. Chang; John W. Brackett; A. M. Davis; P. C. Grabon; T. Haizuka; P. Hsia (ICCL, 1988)