Title: On the design of ALEPH
Subjects: Programming languages (Electronic computers), Semantics