References

PRDpp. 14, 97
anonpp. 120, 129–130
Systempp. 62