2. A system for formal semantics written by Peter Henderson ca. 1970.
[CACM 15(11):967-973 (Nov 1972)].
["Aleph: A language for typesetting", Luigi Semenzato <[email protected]> and Edward Wang <[email protected]> in Proceedings of Electronic Publishing, 1992 Ed. Vanoirbeek & Coray Cambridge University Press 1992].