@inproceedings{cade92-pvs,
    AUTHOR = {{S.} Owre and {J.} {M.} Rushby and and {N.} Shankar},
    TITLE = {{PVS:} {A} Prototype Verification System},
    BOOKTITLE = {11th International Conference on Automated Deduction (CADE)},
    YEAR = {1992},
    EDITOR = {Deepak Kapur},
    SERIES = {Lecture Notes in Artificial Intelligence},
    VOLUME = {607},
    PAGES = {748--752},
    ADDRESS = {Saratoga, {NY}},
    MONTH = {jun},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/cade92-pvs/}
}