References

PRDpp. 14, 51
anonpp. 38, 76