References

PRDpp. 14, 31
anonpp. 27, 101, 110
Systempp. 275