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