Algorithmen und DatenstrukturenGustaf Neumann ×Physica × Datenmodellierung mit deduktiven Techniken Gustaf NeumannPhysicaeBook2013