References

PRDpp. 43, 76, 126–127
anonpp. 106
Systempp. 45, 189, 285