Relational specification of data types and programs - Berghammer, Rudolf 1952- (Univ. der Bundeswehr München, Fak. für Informatik, 1991)