Csörnyei Zoltán

Előadások

• Lambda-kalkulus
  (Modern elméletek az informatikában I.)
  irodalom
  
  
• Típuselmélet
  (Modern elméletek az informatikában II.)
  irodalom
  
  
• Pi-kalkulus
  (Mobil folyamatok elmélete)
  irodalom
  




Könyvek

• Bevezetés a fordítóprogramok elméletébe I.
  Tankönyvkiadó, J 2-1634, 1992. (első kiadás)
  címlap: jpg
  
  
• Bevezetés a fordítóprogramok elméletébe II.
  ELTE Kiadó, J-ELTE TTK-140, 1993. (első kiadás)
  címlap: jpg
  
  
• Fordítási algoritmusok
  Erdélyi Tankönyvtanács, 2000.
  címlap: jpg
  MÁSODIK KIADÁS: 2002., címlap: jpg
  
  
• Fordítási algoritmusok
  Ábel Kiadó, Kolozsvár, 2002., ISBN 973-99814-8-8
  címlap: jpg
  Hibajegyzék: ps pdf
  
  
• Informatikai algoritmusok 1-2.
  (Alkotó szerkesztő: Iványi Antal)
  2. kötet, 20. fejezet, Fordítóprogramok elemzési algoritmusai, pp. 960-1010.
  ELTE Eötvös Kiadó, 2005., ISBN 963 463 775 2
  címlap: 1. kötet (jpg) , 2. kötet (jpg)
  
  
• Fordítóprogramok
  Typotex, 2006., ISBN 963 9548 83 9
  Az informatika alkalmazásai sorozat 3. kötete, ISSN 1787-6044
  LETÖLTHETŐ: www.interkonyv.hu/konyvek/Forditoprogramok
  címlap: jpg, hátlap: jpg
  Hibajegyzék: ps pdf
  MÁSODIK KIADÁS: címlap: pdf
  
  
• ~ és Kása Zoltán:
  Formális nyelvek és fordítóprogramok
  Kolozsvári Egyetemi Kiadó, 2007., ISBN 973 610 505 9
  címlap: pdf
  
  
• Lambda-kalkulus
  a funkcionális programozás alapjai
  Typotex, 2007., ISBN 978-963-9664-46-3
  Az informatika elmélete sorozat 9. kötete, ISSN 1787-3045
  LETÖLTHETŐ: www.interkonyv.hu/konyvek/Lambda kalkulus
  címlap és hátlap: pdf
  Hibajegyzék: pdf
  
  
• Algorithms of Informatics Vol. 1-2.
  (Editor: Antal Iványi)
  Vol. 1. Chapter 2, Compilers, pp. 80-130.
  mondAt Kiadó, Budapest, 2007., ISBN 978-963-87596-0-3
  címlap és hátlap: Vol. 1 (jpg), Vol. 2 (jpg)
  
  
• Funkcionális programnyelvek implementációja, I. rész
  ELTE Informatikai Kar, Kari Digitális Könyvtár, Budapest, 2010.
  LETÖLTHETŐ: www.inf.elte.hu/karunkrol/digitkonyv/Jegyzetek2010/Funkcionalis_programnyelvek_implementacioja.pdf
  címlap: pdf
  Hibajegyzék: ps pdf
  
  
• Bevezetés a típusrendszerek elméletébe
  ELTE Eötvös Kiadó, 2012., ISBN 978-963-312-134-4
  címlap és hátlap: pdf
  Hibajegyzék: ps pdf
  
  
• Type Theory
  Eötvös Loránd University, Faculty of Informatics, 2014., ISBN 978-963-284-441-1
  TÁMOP-4.1.2.A/1-11/1-2011-0052, digital textbook: 14 lectures and exams
  LETÖLTHETŐ: http://www.tankonyvtar.hu/hu/tartalom/tamop412A/2011-0052_09_type_theory/index.html
  
  
• Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye
  ELTE Eötvös József Collegium, 2014., ISBN 978-615-5371-30-1
  LETÖLTHETŐ: http://honlap.eotvos.elte.hu/wp-content/uploads/2016/02/informatikusok.pdf
  címlap és hátlap: pdf
  
  
• Pi-kalkulus, a mobil rendszerek elmélete
  ELTE Eötvös József Collegium, 2017., ISBN 978-615-5371-74-5
  LETÖLTHETŐ: http://honlap.eotvos.elte.hu/wp-content/uploads/2016/02/Pi-kalkulus-beliv.pdf
  címlap és hátlap: pdf
  Hibajegyzék: pdf
  
  

---

Publikációk

• ~, Pi-kalkulus, a mobil rendszerek elmélete, ELTE Eötvös József Collegium, ISBN 978-615-5371-74-5 (2017).
• ~, Az Informatikai Műhely első 10 éve, in: Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye, ELTE Eötvös József Collegium, ISBN 978-615-5371-30-1, pp. 9-17. (2014)
• ~ (Ed.), Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye, ELTE Eötvös József Collegium, ISBN 978-615-5371-30-1 (2014).
• ~, Type Theory, Eötvös Loránd University, Faculty of Informatics, ISBN 978-963-284-441-1 (2014).
• ~, Típusrendszerek, típusos lambda-kalkulusok, BIT, Vol. XI., Tudományos különszám, pp. 14-15. (2014)
• Boldizsár Németh and ~, Stackless programming in Miller, Acta Sapientiae, Informatica, Vol. 5, No. 2, pp. 167-183. (2013)
• ~, Veremmemória és a rekurzió, Sapientia MatInfo Konferencia, Marosvásárhely, 2013. május 25-26., Kivonatok, p. 3. (2013)
• ~, Típusrendszerek, előadás, ELTE Bolyai János Szakkollégium, 2012. november 26. (2012)
• ~, Típusos lambda-kalkulusok, előadás, Szegedi Tudományegyetem, Informatikai Tanszékcsoport, Számítástudomány Alapjai Tanszék, szeminárium, 2012. október 16. (2012)
• ~, Bevezetés a típusrendszerek elméletébe, ELTE Eötvös Kiadó, ISBN 978-963-312-134-4 (2012)
• ~, Görög betűk az informatikában, Kutatók éjszakája, előadás, Eötvös József Collegium, 2012. szeptember 28. (2012)
• ~ (Ed.), Abstracts, MaCS'12 9th Joint Conference on Mathematics and Computer Science, Siófok, Hungary, February 9-12, 2012, (ELTE, Budapest, Hungary, 2012)
• ~, The progress of the theory of type systems, Abstracts, MaCS'12 9th Joint Conference on Mathematics and Computer Science, Siófok, Hungary, p. 31 (2012)
• ~, Együttműködés az informatika oktatásában, előadás, Kolozsvár, ELTE-Sapientia konferencia, 2011. október 20-22. (2011)
• ~ és Nagy Sára, Típusrendszerek és a multicore programozás, IF'11, Informatika a felsőoktatásban, Debreceni Egyetem, ISBN 978-963-473-461-1, pp. 185-191. (2011)
• ~, Funkcionális programnyelvek implementációja I. rész, ELTE Informatikai Kar, Kari Digitális Könyvtár, Budapest, 2010., http://www.inf.elte.hu/karunkrol/digitkonyv/Jegyzetek2010/Funkcionalis_programnyelvek_implementacioja.pdf
• ~, Programnyelvek fordítási módszerei, Farkas Gyula Szakkollégium, Bit- és Számtologatók előadássorozat, Babes-Bolyai Tudományegyetem, Kolozsvár, elődás (2010)
• Gábor Alagi, ~ and Katalin Pásztor Varga, Parallel programming techniques and linear type systems, Abstracts of the 8th Joint Conference on Mathematics and Computes Science MaCS'10, July 14-17, 2010, Komarno, Slovakia, p. 11, ISBN 978-80-8122-003-6 (2010)
• ~, Típuselméletek, típusos lambda-kalkulusok, Farkas Gyula Szakkollégium, Bit- és Számtologatók előadássorozat, Babes-Bolyai Tudományegyetem, Kolozsvár, előadás (2009)
• ~, A lambda-kalkulus és a számítástudomány, Sapientia MatInfo Konferencia, Dedicated to Zoltán Kása on the Occasion of His 60th Birthday, Marosvásárhely, 2009. június 8., Kivonatok, p.5. (2009)
• Balogh Ádám and ~, Subject-oriented operating system development based on system predicate classes, Annales Univ. Sci. Budapest, Sectio Computatorica, XXX., ISSN 0138-9491, pp. 117-140 (2009)
• ~, Funkcionális programnyelvek implementációja, Sapientia Erdélyi Magyar Tudományegyetem, Marosvásárhely, előadás (2009)
• ~, A típus csak illúzió, avagy Church, Schönfinkel, Turing és a lambda-kalkulus, Farkas Gyula Szakkollégium, Bit- és Számtologatók előadássorozat, Babes-Bolyai Tudományegyetem, Kolozsvár, előadás (2009)
• Balogh Ádám and ~, Orthogonal subclasses and multiple inheritance of system predicate classes, Pu.M.A. Pure Mathematics and Application, University of Siena and Corvinus University of Budapest, Vol. 17, No. 3-4, pp. 205-227 ISSN 1218-4586 (2009)
• ~ és Nagy Sára, Típuskikövetkeztési módszerek, IF'08, Informatika a felsőoktatásban, Debreceni Egyetem, ISBN 978-963-473-129-0, p.134 (2008)
• ~, A comparative study on algorithms for type inference, MaCS'08, 7th Joint Conference on Mathematics and Computer Science, Book of abstracts, Babes-Bolyai University, Cluj-Napoca, p. 31 (2008)
• ~ és Burcsi Péter (fordítók), Donald E. Knuth, A számítógép-programozás művészete, Vol. 1, Fasc. 1, MMIX RISC számítógép az új évezrednek, AnTonCom Kiadó, ISBN 978-963-87947-0-3 (2008)
• ~, Lambda-kalkulus, a funkcionális programozás alapjai, Typotex, 2007., ISBN 978-963-9664-46-3, Az informatika elmélete sorozat 9. kötete, ISSN 1787-3045
• ~ és Kása Zoltán, Formális nyelvek és fordítóprogramok, Kolozsvári Egyetemi Kiadó, 2007., ISBN 973 610 505 9
• ~, Compilers, in: Algorithm of Informatics, ed.: Antal Iványi, Vol. 1, Chapter 2, mondAt Kiadó, Budapest, 2007., pp. 80 - 130., ISBN 978-963-87596-0-3
• Dévai Gergely és ~, Separation Logic Style Reasoning in a Refinement Based Language, ICAI'07, Eger, Hungary, Proceedings of the 7th International Conference on Applied Informatics (2007), Vol.1, pp. 117-126
• Balogh Ádám és ~, A general method of low-level exception reporting and handling using System Predicate Class, ICAI'07, Eger, Hungary, Proceedings of the 7th International Conference on Applied Informatics (2007), Vol.1, pp. 189-198
• Kitlei Róbert, Dévai Gergely, Balogh Ádám és ~, Comparative analysis of refactoring and code optimization, ICAI'07, Eger, Hungary, Proceedings of the 7th International Conference on Applied Informatics (2007), Vol.1, pp. 257-264
• ~, An introduction to the lambda-calculus, CEFP'07, 2nd Central European Functional Programming School, Babes-Bolyai University, Cluj-Napoca, Romania (2007)
• ~ and Gergely Dévai, An introduction to the lambda-calculus, LNCS 5161, Lecture Notes in Computer Science, Springer-Verlag, LNCS Vol. 5161, pp. 87-111 ISSN 0302-9743, ISBN 3-540-88058-5
• Tamás Kozsik, ~ et al., Use cases for refactoring in Erlang, LNCS 5161, Lecture Notes in Computer Science, Springer-Verlag, LNCS Vol. 5161, pp. 250-285, ISSN 0302-9743, ISBN 3-540-88058-5
• Róbert Kitlei, ~ et al., Generic syntactic analyser: ParsErl, Proceeding of the 13th International Erlang/OTP User Conference, Stockholm, November 8, 2007, 9 pages
• Balogh Ádám és ~, Objects and polymorphism in system programming languages: a new approach, Periodica Polytechnica, Electrical Engineering, Vol. 51, No. 3-4, pp 85-97 (2007)
• ~, A fordítóprogramok működése, EMT Erdélyi Magyar Műszaki Tudományos Társaság, "Terminológiai előadássorozat", előadás (2007)
• ~, Fordítóprogramok, Typotex, 2006., ISBN 963 9548 83 9, Az informatika alkalmazásai sorozat 3. kötete, ISSN 1787-6044
• ~, Típuselmélet, előadásjegyzet, ELTE Informatikai Kar, pp. 193 (2006), http://people.inf.elte.hu/csz
• ~ (Ed.), Book of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary (2006)
• ~, pi-calculus and rewriting systems, Book of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary, p. 28 (2006)
• Balogh Ádám and ~, Multiple inheritance of system predicate class, Book of abstract, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary, p. 16 (2006)
• Balogh Ádám and ~, SysObjC, C extension for development of object-oriented operating systems, PLOS'06, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems, San Jose, California, USA, ACM Press, New York, ISBN 1-59593-577-0, p. 1-7, ACM Digital Library, http://doi.acm.org/10.1145/1215995.1216000
• Balogh Ádám and ~, New method for designing polymorphic system programming languages, CSCS'06, 5th Conference of PhD Students in Computer Science, University of Szeged, Hungary, p.18 (2006)
• Balogh Ádám and ~, Subject-oriented operating system development based on system predicate classes, SPLST'06, Proceedings of the 10th Symposium on Programming Languages and Software Tools, pp. 112-129, ISBN 978-963-463-925-1 (2006)
• Horváth Zoltán, Lövei László,~, Zsók Viktória, Functional programming concept in computer science education, Proceedings of the 7th International Conference on Electronic Computers and Informatics ECI'06, Kosice-Herlany, Technical University of Kosice, Slovakia, pp. 174-179 (2006)
• ~ és mások, Angol-magyar informatikai szótár, szerk: Iványi Antal, Tinta Könyvkiadó, ISBN 963-9372-79-X (2006)
• ~ és Nagy Sára, Mobil folyamatok elmélete, IF'05, Informatika a felsőoktatásban, Debreceni Egyetem, p. 173 (2005)
• Horváth Zoltán, Lövei László,~,Zsók Viktória, Funkcionális programozás témakörei a programtervező képzésben, IF'05, Informatika a felsőoktatásban, Debreceni Egyetem, p. 189 (2005)
• ~, A típus és a való világ, Sapientia Erdélyi Magyar Tudományegyetem, Marosvásárhely, előadás (2005)
• ~, Mobil folyamatok, VIII. Erdélyi Tudományos Diákköri Konferencia, Kolozsvár, plenáris előadás (2005)
• ~, Fordítóprogramok elemzési algoritmusai, in: Informatikai algoritmusok, szerk: Iványi Antal, ELTE Eötvös Kiadó, Budapest, pp. 960-1010, ISBN 963-463-775-2 (2005)
• ~, Type systems and program verification, ICAI'04, Eger, Hungary, Proceedings of the 7th International Conference on Applied Informatics (2004), Vol.1, pp. 119-128
• ~ (Ed.), Book of abstracts, MaCS'04, 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary (2004)
• ~ és mások (lektor), Kovács D. Lehel István, A programozási nyelvek összehasonlító elemzése - A programozási nyelvek anatómiája, Egyetemi Kiadó, Kolozsvár, ISBN 973-610-280-7 (2004)
• ~, Type sytems, tactics and tacticals, Book of abstracts, MaCS'04, 5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, p. 36 (2004)
• ~, A típus : illúzió, VII. Erdélyi Tudományos Diákköri Konferencia, Kolozsvár, plenáris előadás (2004)
• ~ és mások (fordítók), Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, Új algoritmusok, Scolar Kiadó, ISBN 963-9193-90-9 (2003)
• ~ és mások (lektor), Programozási nyelvek, szerk.: Nyékyné Gaizler Judit, Kiskapu Kiadó, ISBN 963-9101-47-7 (2003)
• ~ és Nagy Sára, Típuselmélet és az objektum-elvű programozás, IF'02, Informatika a felsőoktatásban, Debreceni Egyetem, p. 173 (2002)
• ~, Kovács Lehel and Légrádi Gábor, Purely functional programming and the object oriented inheritance, Pu.M.A. Pure Mathematics and Application, University of Siena and Budapest University of Economics, Vol. 13, No. 1-2, pp. 125-132 (2002)
• ~ és mások (fordítók), Nancy Ann Lynch, Osztott algoritmusok, szerk. Iványi Antal, Kiskapu Kiadó, ISBN 963-9301-03-5 (2002)
• ~, Típuselmélet, Babes-Bolyai Tudományegyetem, Kolozsvár, előadás (2002)
• ~, Típuselmélet és a programozás, József Attila Tudományegyetem, Szeged, előadás (2002)
• ~, Típuselméletek a programozásban, Kossuth Lajos Tudományegyetem, Debrecen, előadás (2002)
• ~, Type theories, Friedrich Schiller University, Jena, Germany, lectures (2002)
• ~, Fordítási algoritmusok, Ábel Kiadó, Kolozsvár, 2002 (3. kiadás), ISBN 973-99814-8-8
• ~, Faragó István and Horváth, Sándor (editors), Selected Papers of the 3rd Joint Conference on Mathematics and Computer Science, Pu.M.A., Pure Mathematics and Application, Vol. 11, No. 2, University of Siena and Budapest University of Economics, pp. 119--399 (2001)
• ~, Lehel Kovács and Gábor Légrádi, Purely Functional Programming and the Object Oriented Programming, Studia Universitatis Babes-Bolyai, Informatica, Vol. XLVI, No. 1, pp. 101-110 (2001)
• ~, Lehel Kovács and Gábor Légrádi, Purely Functional Programming and the Object-Oriented Polymorphism, Abstracts of the Fourth Joint Conference on Modern Applied Mathematics and Informatics, Felix-Oradea, Romania, Babes-Bolyai University, p. 62 (2001)
• ~, Lehel Kovács and Gábor Légrádi, Purely Functional Object-Oriented Programming and the Type Theory, ICAI'01, Abstracts of the Fourth International Conference on Applied Informatics, Eger, Hungary, (2001)
• ~ et al., Informatikai tudástár, a számítógépes világ enciklopédiája (szerk.: Horváth László és Pirkó József, Kiskapu Kiadó, ISBN 963-9301-28-0, (2001)
• ~, A Latex szövegszerkesztő rendszer a matematika tanításában, Bolyai Nyári Akadémia, Sepsiszentgyörgy (2001)
• ~, Fordítási algoritmusok, Erdélyi Tankönyvtanács kiadása, Kolozsvár, 2000 (1. kiadás), ISBN 973-99814-8-8
• ~ és Nagy Sára, Új irányok a fordítóprogramok oktatásában, Magyar Informatikusok II. Világtalálkozója, Budapest, Gábor Dénes Főiskola, pp. 333-334 (2000)
• ~ et al., Programozási nyelvek specializáció az ELTE programtervező matematikus képzésében, IF'99, Informatika a felsőoktatásban '99, Debrecen, pp. 550-557 (1999)
• ~ és Nagy Sára, Típusrendszerek és a funkcionális programozás, IF'99, Informatika a felsőoktatásban '99, Debrecen, pp. 583-586 (1999)
• ~, Dynamic grammars and compilers, Abstracts, MaCS'99, 3th Joint Conference on Mathematics and Computer Science, Visegrád, Hungary, p.20 (1999)
• ~ (Ed.), Abstracts, MaCS'99, 3rd Joint Conference on Mathematics and Computer Science, Visegrád, Hungary (1999)
• ~, Funkcionális programnyelvek fordítása, Bolyai Nyári Akadémia, Sepsiszentgyörgy (1998)
• ~ et al. (fordító és lektor), Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest: Algoritmusok, szerk.: Iványi Antal, Műszaki Könyvkiadó, ISBN 963-16-1389-5 (1998)
• ~, Az assemblálás elmélete, Alkalmazott Matematikai Lapok ISSN 0133-3399, Vol 19, pp. 203-217 (1998)
• ~, Funkcionális programnyelvek oktatása, SZÁMOKT '98, Számítástechnika Oktatása, Ilieni/Illyefalva, Románia (1998)
• ~, Dynamic grammars and the syntactic analysis, Abstracts, Second Joint Conference on Modern Applied Mathematics, Ilieni/illyefalva, Romania, pp. 15-16 (1997)
• ~, Fordítás és értelmezés, Bolyai Nyári Akadémia, Sepsiszentgyörgy (1997)
• ~, On the applications of dynamic grammars, ICAI'97 Proceedings of the 3rd International Conference on Applied Informatics, Eger-Noszvaj, Vol. II, pp. 369--374 (1997)
• ~, Compilerek, interpreterek, Székely Mikó Kollégium, Sepsiszentgyörgy (1997)
• ~, A fordítóprogramok működése, Nagy Mózes Líceum, Kézdivásárhely (1997)
• ~ és Nagy Sára, Funkcionális programnyelvek implementációja, IF'96, Informatika a felsőoktatásban '96, Debrecen, pp.326-333 (1996)
• ~ et al., Számítástechnikai lexikon, I., Alapok, szerk.: Pirkó József és Horváth László, Kossuth Könyvkiadó, ISBN 963-09-3871-5 (1996)
• ~, On the Postdefinity of Symbols in Assembly Languages, Abstracts, First Joint Conference on Modern Applied Mathematics, Ilieni/illyefalva, Romania, pp. 22--23 (1995)
• ~, On the Postdefinity of Symbols in Assembly Languages, Pu.M.A., Pure Mathematics and Application, University of Siena and Budapest University of Economics, Vol. 6, No. 2, pp. 139-146 (1995)
• ~, Imre Földesi and Gábor Légrádi, On the Implementation of Incremental Assemblers, Proceedings of the Fourth Symposium on Programming Languages and Software Tools, pp.122-130 (1995)
• ~, An Axiomatic Approach to Assemblers, Studia Universitatis Babes-Bolyai, Mathematica, Vol. XL, No. 3, pp. 29-44 (1995)
• ~, Az assembly nyelv és az assembler, Tamási Áron Líceum, Székelyudvarhely (1995)
• ~, Fordítóprogramok algoritmusai, SZÁMOKT'94, A Számítástechnika oktatása, Ilieni/Illyefalva, Románia (1994)
• ~, Bevezetés a fordítóprogramok elméletébe II. rész, ELTE Kiadó, egyetemi jegyzet, J-ELTE-TTK-140 (1993)
• ~ és Nagy Sára, Fordítóprogramok és az új nyelvi struktúrák fordításának oktatása, IF'93, Informatika a felsőoktatásban '93, Debrecen, pp. 212-218 (1993)
• ~, Bevezetés a fordítóprogramok elméletébe I. rész, Tankönyvkiadó, egyetemi jegyzet, J 2-1634 (1992)
• ~ et al., Szakértői rendszerek az ipari folyamatirányításban, KFKI--ELTE, Budapest (1988)
• ~, Az MFB alkalmazása villamos erőművekben, az erőművi blokkok közötti gazdaságos teherelosztás megvalósítására, Mikroszámítógép alkalmazási esettanulmányok, szerk.: Rózsa Lajos, Számítástechnika Alkalmazása Vállalat, Budapest, pp. 249-275 (1985)
• ~, Kollár Zoltán, Kovács Kálmán és Pétervári László, Eljárás erőművi blokkok villamos terhelésének elosztására, Magyar Szabadalom 180546, Szabadalmi leírás, közzététel: 1982. július 28., megjelent: 1984. március 31.
• ~, Univerzális mikroprocesszor assemblerek, Programozási Rendszerek '81, Szeged, (1981)
• ~, Az INTEL 8080 inverz assemblere, VEIKI--ELTE, Budapest, pp. 1-32 (1980)
• ~, Univerzális mikroprocesszor assemblerek, egyetemi doktori értekezés, Eötvös Loránd Tudományegyetem (1980)
• ~, PROCESS-24K, an efficient process Control System, KFKI Vol. 17, pp. 1-82 (1978)
• ~, Egy módszer assemblerek előállítására, MTA SZTAKI Közlemények, Vol. 19, pp. 69-78 (1978)
• ~, Az MFB autokódja és assemblere, MTA SZTAKI, Budapest, pp. 1-130 (1977)
• ~, Az MFB programgenerátora, MTA SZTAKI, Budapest, pp. 1-56 (1977)
• ~, Folyamatszabályozás VT R10 számítógéppel, Automatizálás, Vol. VIII, No. 4, pp. 22-37 (1975)
• ~ et al., A PROCESS-8K programrendszer, MTA SZTAKI, Budapest, pp. 1-81 (1975)
• ~, PROCESS programrendszer a VT 1010B-re, Automatizálás, Vol. VII, No. 9, pp. 8-27 (1974)
• ~ and András Szigeti, Primenyényije programnoj szisztemü PROCESSZ, ASZU Technologija '74, Moszkva (1974)
• ~, PROCESS autokód és rendszergenerálás, Nemzetközi Számítástechnikai Oktató Központ, VT 1010B tanfolyam, Siófok, 1973. december 18. (előadássorozat) (1973)
• ~ et al., A PROCESS programcsomag részletes leírása, MTA SZTAKI, Budapest, pp. 1-205 (1973)
• ~ et al., PROCESS D 1010B Felhasználói kézikönyv, MTA SZTAKI, Budapest, Vol. 1 (pp. 1-106), Vol. 2 (pp. 1-130) (1973)
• ~, Lineáris automaták, szakdolgozat, témavezető: Frey Tamás, Eötvös Loránd Tudományegyetem, Budapest (1969)