@inproceedings{srt-long,
    AUTHOR = {Natarajan Shankar},
    TITLE = {Modular Verification of {SRT} Division},
    BOOKTITLE = {{FMSD99}},
    YEAR = {1999},
    URL = {http://www.csl.sri.com/papers/srt-long/}
}