C. K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia. Specification languages-assessment and trends. In 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA. pages 160-165, IEEE, 1988. [doi]
Abstract is missing.