References

PRDpp. 80, 88
anonpp. 54
Systempp. 39, 287