A Universal Modular ACTOR Formalism for Artificial Intelligence
A design methodology for reliable software systems