Text this: Command-response protocols and concurrent software : final report / W.L. Bynum.