Robert E. Strom, David F. Bacon, Andy Lowry, Arthur P. Goldberg, Daniel M. Yellin, and Shaula Yemini
Prentice-Hall, Series in Innovative Technology, ISBN 0-13-389537-8, February 1991.

Hermes is a secure language like Java but allows fully transparent distributed computing. Hermes uses typestate in a powerful way that eliminates the need for garbage collection. A simple version of the typestate concept is used to achieve security by the Java verifier.

David F. Bacon and Andy Lowry
Usenix Conference Proceedings, Summer 1990, Anaheim, California, pp. 39-50.

Describes the portable run-time system for the Hermes distributed programming language.

Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Bill Silvermann, Daniel Yellin, Jim Russell, and Shaula Yemini
Technical Report, IBM T.J. Watson Research Center, March 1992.

User's manual for the Hermes implementation for Unix running on the RS/6000, Sun-4, NeXT, IBM-RT/BSD 4.3 and includes a bytecode compiler, a bytecode to C compiler and an associated run-time system.