We gratefully acknowledge professor Josep Torrellas from the University of Illinois at Urbana-Champaign for the use of his class notes. We also gratefully acknowledge professor Dave Culler, UC Berkeley, for allowing us to use his class notes and book chapters.