References

PRDpp. 7, 14, 36, 57, 114, 128
Systempp. 14, 110