References

PRDpp. 14, 29
anonpp. 15, 18, 43, 55
Systempp. 285