References

PRDpp. 104, 111, 113–114
anonpp. 57
Systempp. 283