@inproceedings{lispusersgroup,
    AUTHOR = {{F.} Gilham and {D.} Shih},
    TITLE = {{SDTP---A} Multilevel-Secure Distributed Transaction Processing System},
    BOOKTITLE = {Lisp Users Group Meeting},
    YEAR = {1999},
    MONTH = {oct},
    URL = {http://www.csl.sri.com/papers/sdtp/}
}