homepages/k/MichaelKaufmann1, Eberhard Karls University of Tübingen, Wilhelm Schickard Institute for Computer Science, Michael Kaufmann, Home Page, https://mathscinet.ams.org/mathscinet/MRAuthorID/227681