machmisc
See
mach
for additional mach information and references
barrera:mach91
This document is referenced once, by: [
andersen:osdi00
].