References

PRDpp. 14, 24, 85, 105, 114, 122, 125–126
anonpp. 6, 16, 30, 42, 136, 144
Systempp. 20, 69, 118–120, 150