| 1975 | ||
|---|---|---|
| 4 | Dieter Bär: An Approach to Correctness Proofs of Programs. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 274-282 (1975) | |
| 1974 | ||
| 3 | Dieter Bär: EXTRA - Defining Report on an Algorithmic Language for Teaching "about" Programming. Elektronische Informationsverarbeitung und Kybernetik 10(10): 577-607 (1974) | |
| 1969 | ||
| 2 | Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken I. Elektronische Informationsverarbeitung und Kybernetik 5(3): 171-205 (1969) | |
| 1 | Dieter Bär: Zur Theorie der syntaktischen Analysealgorithmen für kontextfreie Grammatiken II. Elektronische Informationsverarbeitung und Kybernetik 5(4/5): 217-238 (1969) | |