Parallelism algebras: a link between process algebras and abstract relation algebras? - Thomas F. Gritzner; Manfred Broy (Forschungsberichte, TU Munich, 1991)

A simple toy example of a distributed system : on the design of a connecting switch - Thomas F. Gritzner (Forschungsberichte, TU Munich, 1991)

The action graph model as a link between abstract relation algebras and process algebraic specifications - Thomas F. Gritzner (Forschungsberichte, TU Munich, 1992)

Prototyping Relational Specifications Using Higher-Order Objects. - Rudolf Berghammer; Thomas F. Gritzner; Gunther Schmidt 001 (HOA, 1993)

A Relation Algebraic Model of Robust Correctness. - Thomas F. Gritzner; Rudolf Berghammer (Theor. Comput. Sci., 1996)

wp-Kalkül und relationale Spezifikation kommunizierender Systeme. - Thomas F. Gritzner (Utz, 1996)

RALL: Machine-Supported Proofs for Relation Algebra. - David von Oheimb; Thomas F. Gritzner (CADE, 1997)

wp-Kalkül und relationale Spezifikation kommunizierender Systeme. 2. Auflage. - Thomas F. Gritzner (Technical University of Munich, Germany, 2022)