References

PRDpp. 93
Systempp. 31