Computer trees: a concept for parallel processing. - Bruno Buchberger; J. Fegerl; Franz Lichtenberger (Microprocess. Microsystems, 1979)

Mathematik für Informatiker I: Die Methode der Mathematik - Bruno Buchberger; Franz Lichtenberger (Springer, 1980)

PL, ADT: ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL, I [eins]. - Franz Lichtenberger (1981)

Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung" - B. Kutzler; Franz Lichtenberger (Springer, 1983)

A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. - Franz Lichtenberger (ADT, 1983)

Self-explanatory symbolic computation for math education. - Franz Lichtenberger (ACM Commun. Comput. Algebra, 1985)

Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. - Franz Winkler 001; Bruno Buchberger; Franz Lichtenberger; Heinrich Rolletschek (ACM Trans. Math. Softw., 1985)

An application of knowledge-base technology in education: a geometry theorem prover. - Mirsad Hadzikadic; Franz Lichtenberger; David Y. Y. Yun (SYMSAC, 1986)

Making Formal Methods Popular: The Crux is Math Education! - Franz Lichtenberger (FMSEE&T@FM, 2015)