acsdmisc
See
acsd
for additional acsd information and references
holzmann:acsd01
This document is referenced once, by: [
bradley:wcw02
].