A gentle introduction - Rieffel, Eleanor; Polak, Wolfgang (Cambridge, 2014)