1
Zur Pragmatik eines operationalisierten lambda- Kalküls als Basis für interaktive Reduktionssysteme /
Book
...DEA - Formal languages, machine oriented, assembler...