@Article {MD03,
AUTHOR = {{J.} Millen and {G.} Denker},
TITLE = {MuCAPSL},
YEAR = {2003},
PAGES = {238--249},
URL = {http://www.csl.sri.com/papers/discex3/},
BOOKTITLE = {{DISCEX} {III,} {DARPA} Information Survivability Conference and Exposition},
ORGANIZATION = {{IEEE} Computer Society}
}