References

PRDpp. 7, 85
Systempp. 289