For a more mathematical analysis of how this process plays out in terms of representation, I found this article to be very helpful:
https://www.hpl.hp.com/techreports/2007/HPL-2007-28R1.pdf
*It is also worth noting that the main article simplifies the process a little, since a certain threshold approval is required