Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama. A declarative approach to software requirement specification languages. In 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA. pages 414-421, IEEE, 1988. [doi]
Abstract is missing.