This course is based on lecture slides by J├╝rgen Heller, Cord Hockemeyer, and Luca Stefanutti held at the Erasmus IP Seminar in Sagadi (Estonia) in 2014 and the TquanT Erasmus+ Seminar in Deutschlandsberg (Austria) in 2017.