@article{nides-summary,
    AUTHOR = {Anderson and Frivold and Valdes},
    TITLE = {{NIDES:} {A} Summary},
    YEAR = {1995},
    MONTH = {may},
    URL = {http://www.csl.sri.com/papers/4sri/}
}