Rechnerarchitektur und Logik-EntwurfGustaf Neumann × Datenmodellierung mit deduktiven Techniken Gustaf NeumannPhysicaeBook2013