References

PRDpp. 14, 53
Systempp. 277