"A Family of Mathematical Methods for Professional Software Documentation."

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