"This material is adapted from a short paper presented at the Workshop on Mission Critical Operating Systems, Washington, Nov. 1989."
"This work was supported in part by the Defense Advanced Research Projects Agency (DoD) under ARPA order 6037, Contract N00140-87-C-8004 and under DARPA/NASA subcontract NAG2-593 administered by the NASA Ames Research Center."
"February 22, 1990."
Bibliography
Includes bibliographical references (p. 10-13).
Form
Mode of access via the NASA Technical Report Server web site.