References

PRDpp. 14, 59, 114, 122
Systempp. 23, 35