References

PRDpp. 24, 106
Systempp. 17, 44, 97, 132–133, 141, 151, 176, 254