Developments in the formalization and verification of the principle of distributive justice

Full text