References

PRDpp. 104, 114
anonpp. 41, 135, 148
Systempp. 284