References

PRDpp. 14, 33
Systempp. 108