Taught by H. Van Bemmel at MGCI 2013