Rechnerarchitektur und Logik-EntwurfPhysica × Datenmodellierung mit deduktiven Techniken Gustaf NeumannPhysicaSoftcover1994