References

PRDpp. 51, 88, 90
anonpp. 83