References

PRDpp. 86
anonpp. 9, 31, 147–148
Systempp. 39, 134