"The KBSA Requirements/Specifications Facet: ARIES."

W. Lewis Johnson, Martin S. Feather, David R. Harris (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics