https://123dok.net/document/zwv1xk9l-good-spt-schedules-fair-optimality-criteria.html