Datenmodellierung mit deduktiven Techniken - Neumann, Gustaf 1958- (Physica-Verl., 1994)