References

PRDpp. 62, 113, 125
anonpp. 56, 135
Systempp. 39, 43, 289