References

PRDpp. 12, 49
anonpp. 57
Systempp. 283