References

PRDpp. 60, 66
anonpp. 98
Systempp. 72, 218