References

PRDpp. 12, 53, 75–76
Systempp. 48