Relations between abstract datatypes modeled as abstract datatypes

Hubert Baumeister. Relations between abstract datatypes modeled as abstract datatypes. PhD thesis, Saarland University, Saarbrücken, Germany, 1998. [doi]

Abstract

Abstract is missing.