References

PRDpp. 127
Systempp. 179