Thomas F. Gritzner

Prototyping Relational Specifications Using Higher-Order Objects

Gunther Schmidt, Rudolf Berghammer, Thomas F. Gritzner, 1993, HOA.

The Design of Distributed Systems - An Introduction to FOCUS-revised version

Manfred Broy, Richard R. Weber, Matthew Fuchs, 1992 .

wp-Kalkül und relationale Spezifikation kommunizierender Systeme

Thomas F. Gritzner, 1996 .

A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch

Thomas F. Gritzner, 1992 .

RALL: Machine-Supported Proofs for Relation Algebra

David von Oheimb, Thomas F. Gritzner, 1997, CADE.

A Relation Algebraic Model of Robust Correctness

Rudolf Berghammer, Thomas F. Gritzner, R. Berghammer, 1996, Theor. Comput. Sci..