References

PRDpp. 103, 114
anonpp. 53
Systempp. 288