References

PRDpp. 65, 118
Systempp. 113