References

PRDpp. 14, 27, 103
anonpp. 16
Systempp. 24