| Type | Title | Author | Publisher | Year |
| Article | Generative models for parallel processes | Rozenberg, G., Wood, D. | | 1973 |
| Article | IO and OI. I | Engelfriet, J., Schmidt, E.M. | | 1977 |
| Article | Compilers | Meduna, A. | | 1991 |
| Article | Strukturnoe programmirovanie | Dahl, U., Dijkstra, E., Hoare, K. | | 1975 |
| Article | Sample answers to some exercises in elementary computability, formal languages, and automata | McNaughton, R. | | 1994 |
| Article | Acta Informatica, Vol. 31 Fasc. 2 | Bauer, F.L., Broy, M., Dijkstra, E.W., Gries, D., Turski, W.M. | | 1994 |
| Article | A logical theory of robot problem solving | Stepankova, O., Havel, I.M. | | 1975 |
| Article | Matematiceskij analiz | Milov, G.E. | | 1960 |
| Article | O zlozitosti algoritmov II. oprimalne algoritmy | Gruska, J. | | 1974 |
| Article | Completeness of Context-free Grammar Forms | Maurer, H.A., Salomaa, A., Wood, D. | | 1981 |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Neklasicke logiky | Mleziva, M. | | 1970 |
| Article | Analyza algoritmov a tried algoritmov | Gruska, J. | | |
| Article | Global Context Conditional Grammars | Meduna, A. | | 1991 |
| Article | Beziehungen zwischen Zeitkomplexitatsklassen und Kellerautomaten mit Zahlern | Monien, B. | | 1971 |
| Article | Generalized phrase structure grammars, head grammars, and natural language | Pollard, C.J. | | 1984 |
| Article | Uber die Effizienz von Tabulator-Turingmaschinen mit beschrankter Markenzahl im Vergleich zu anderen Maschinenmodellen | Weicker, R., Monien, B. | | 1970 |
| Article | Multi-head sequential transducers | Paun, Gh. | | 1981 |
| Article | Metodika programovani a efektivnost vypoctu | Kopriva, J. | | 1990 |
| Article | Fundamentals of algeraic specification 2 | Ehrig, H., Mahr, B. | | 1990 |
| Article | Rekurzivni funkce a rekurzivni programy | Kopriva, J. | | 1974 |
| Article | Dense Hierarchies of Grammatical Families | Maurer, H.A., Salomaa, A., Wood, D. | | 1982 |
| Article | Operating System Concepts | Silberschatz, A., Peterson, J., Galvin, P. | | 1991 |
| Article | Universal algebra for computer scientists | Wechler, W. | | 1992 |
| Article | Depolarizing mathematics and religion | Voss, S. | | |
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
