References

PRDpp. 27, 93, 123
anonpp. 103
Systempp. 23, 67