References

PRDpp. 43, 104
anonpp. 38
Systempp. 310