"An approach to software requirement specification."

Stephen S. Yau, Chung-Shyan Liu (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics