Joule is E's most direct and important ancestor.
From The Joule Manual:
Joule: Distributed Application Foundations
A Reference Aid
The new Joule Quick Reference (available here in hypertext) provides fast information for the Joule language. Joule embodies a new computational model for building distributed systems.
The Joule Manual
These are all postscript files and not currently available in hypertext, but they are reasonably quick to download.
Table of Contents
Proving Properties of Instruction-Level Programs--This work-in-progress is a part of the Joule project and describes The Bouncer, a program that statically checks program modules before loading and rejects modules that do not pass specific static checks.
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.