References

PRDpp. 14, 81
Systempp. 61, 73, 134