ALEPH
1. <language> A Language Encouraging Program Hierarchy.
2. <tool> A system for formal semantics written by Peter Henderson ca. 1970.
[CACM 15(11):967-973 (Nov 1972)].
Aleph
["Aleph: A language for typesetting", Luigi Semenzato <luigi@cs.berkeley.edu> and Edward Wang <edward@cs.berkeley.edu> in Proceedings of Electronic Publishing, 1992 Ed. Vanoirbeek & Coray Cambridge University Press 1992].