References

PRDpp. 40
Systempp. 113, 203