- Ada (Computer program language) (29)
- Pascal (Computer program language) (2)
- Programming languages (Electronic computers)--Semantics (2)
- Structured programming (2)
- Algorithms (1)
- Artificial intelligence (1)
- Computer arithmetic (1)
- Computer programs--Verification (1)
- ESPRIT/SEDOS Project (1)
- Electronic digital computers--Programming (1)
- Parallel processing (Electronic computers) (1)
- UNIX (Computer operating system) (1)