References

PRDpp. 14, 69
Systempp. 47, 173