@article{nides-manual2,
    AUTHOR = {Anderson and Lunt and Javitz and Tamaru and Valdes},
    TITLE = {{NIDES:} Software Users Manual -- Beta-Update Release},
    YEAR = {1994},
    MONTH = {dec},
    URL = {http://www.csl.sri.com/papers/7sri/}
}