Definition and proof principles for data and processes

Ulrich Hensel. Definition and proof principles for data and processes. PhD thesis, TU Dresden, 1998.

Abstract

Abstract is missing.