Michael Rabin, Rafael Kubelik and Dimitri Mitropoulos · Song · 2017