"Requirements Documentation: Why a Formal Basis is Essential."

David Lorge Parnas (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics