References

PRDpp. 14, 69
anonpp. 7, 10, 46, 54, 69
Systempp. 183